message no. 168808
Posted by dmtucker in #github at 2017-05-13T01:09:53Z
is there a way to disallow pushes from anyone (including owners) that arent initiated by a merged PR?
Posted by dmtucker in #github at 2017-05-13T01:09:53Z