Re: disabling PRs on FreeType's github mirror

Skef Iterum <[email protected]> Thu, 29 May 2025 13:07:40 -0700
Newsgroups gmane.comp.fonts.freetype.devel
Organization Iterum Software Consulting LLC
Message-ID <[email protected]>
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, <[email protected]> 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
>