Re: disabling PRs on FreeType's github mirror

Hello Anurag,


nice to hear from you!

>> does anybody know how to disable PRs on FreeType's github mirror?
>
> In GitHub repository settings under moderation options, you should
> see "Interaction limits".
> 
> You can enable "Limit to repository collaborators" for 6 months.
> 
> This should prevent people from creating PRs.

Thanks, I did that now.  Unfortunately, it doesn't give any hint to a
contributor why the 'create pull request' button is just greyed out...

Looking around in the internet it seems that there isn't a better
option for github, sigh.


    Werner