Re: disabling PRs on FreeType's github mirror
Anurag Thakur <[email protected]> Thu, 29 May 2025 23:29:03 +0530
| Newsgroups | gmane.comp.fonts.freetype.devel |
|---|---|
| Message-ID | <CAB7b43ouJn1xgBe-h_r_iqhhmo+sx0jOcisN-JgcR+Rvd3BCwg@mail.gmail.com> |
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 > >
1000303694.jpg
(image/jpeg, 65.7 KB) - not displayed