Werner, 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. Regards Anurag On Thu, 29 May, 2025, 16:59 Werner LEMBERG, <w...@gnu.org> wrote: > > Folks, > > > does anybody know how to disable PRs on FreeType's github mirror? > > > Werner > >
