disabling PRs on FreeType's github mirror

Werner LEMBERG <[email protected]> Thu, 29 May 2025 11:28:18 +0000 (UTC)
Newsgroups gmane.comp.fonts.freetype.devel
Message-ID <[email protected]>
Folks,


does anybody know how to disable PRs on FreeType's github mirror?


    Werner