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 >