On Wed, Dec 1 2021 at 12:27:35 AM +0100, Emmanuel Seyman
<emmanuel(a)seyman.fr> wrote:
How do people using this setup prevent people from submitting PR and
issues to the Github mirror where they cannot be applied/fixed?
For GNOME we just set up a bot that autocloses every PR.