message no. 126892
Posted by stefanct in #github at 2016-03-12T17:34:31Z
i am aware of the protected branches and enforced status thingies but they appear to only make merging from PRs impossible not direct pushes
Posted by stefanct in #github at 2016-03-12T17:34:31Z