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/ -- Regards Carsten Schoenert _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
