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
