Re: To disable PRs on GitHub mirror?