One trick I've used in the past is to add one PR with a title something
like "PRs are disabled, do [blah] instead".
Skef
On 5/29/25 10:59 AM, Anurag Thakur wrote:
Werner,
> Unfortunately, it doesn't give any hint to a contributor why the
'create pull request' button is just greyed out
I tested it and for me the "New pull request" button is not greyed
out, but there is a warning when trying to create a PR.
Can you please check if the warning is visible on your end.
Image attached for reference
Regards
Anurag
On Thu, 29 May, 2025, 18:20 Werner LEMBERG, <w...@gnu.org> wrote:
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
