Re: [core-workflow] Github Mirrors - Should Disallow Pull Request / Issue Creation Until the migration

8 Jul 2016


      I know you can disable issues for a repo on GitHub, but I don't think you
can disable PRs, unfortunately.

Nicholas Chammas