freetype-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

no PRs at FreeType's github mirror


From: Werner LEMBERG
Subject: no PRs at FreeType's github mirror
Date: Wed, 16 Nov 2022 08:07:51 +0000 (UTC)

FYI: I've just activated

  Setting
    Moderation Options
      Limit to repository collaborators

which is, according to
https://stackoverflow.com/questions/27957454/how-to-disable-pull-requests-in-github,
the only possibility to disable PRs on github.

Note that this setting is limited to six months and cannot be disabled
permanently.


    Werner



reply via email to

[Prev in Thread] Current Thread [Next in Thread]