latest 3 messages by stefanct
+
[2016-03-12T17:35:08Z]
stefanct
and the obvious alternative (to use server-side update hooks) is equally obviously not applicable for (free) github repos
+
[2016-03-12T17:34:31Z]
stefanct
i am aware of the protected branches and enforced status thingies but they appear to only make merging from PRs impossible not direct pushes
+
[2016-03-12T17:34:00Z]
stefanct
is it possible to enforce some rules by means of a script (triggered e.g. by a webhook) on pushes?