On Thu, Apr 9, 2015 at 1:30 PM, Stefan Seefeld
The entire issue is a result of me accepting a pull request to master, followed by a fix to an issue only observed on master. In addition I also wasn't fully aware of the use of master essentially as a release branch. While I will be more careful in the future to avoid such mistakes, I also think it might be useful to prevent (forbid) pull requests to master to begin with.
Pull request permissions was something brought during the original transition to Github.. As in Github doesn't have a way to prevent pull requests. But I found this https://nopullrequests.appspot.com/. -- -- Rene Rivera -- Grafik - Don't Assume Anything -- Robot Dreams - http://robot-dreams.net -- rrivera/acm.org (msn) - grafikrobot/aim,yahoo,skype,efnet,gmail