On 08/23/2018 02:46 PM, Carsten Schoenert wrote: > Am 23.08.18 um 20:31 schrieb José Ignacio: >> Pull requests cannot be disabled on Github > > That's unfortunately true, but there is a "plugin" available for > disabling pull requests. > > http://nopullrequests.com/ >
Thanks for the tip but I'm going to hold off on this for the time being. It hasn't been a huge problem just yet. _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
