> On Mar 6, 2020, at 1:51 AM, Emmanuel Lécharny <[email protected]> wrote: > > I don't know if we can block such PRs (disabling the user account ?), but in > any case, the best course of action ATM is to close them. I saw that Colm is > closing them to.
Appears to be a way to block a user, which we should do if it persists. https://help.github.com/en/github/building-a-strong-community/blocking-a-user-from-your-organization — Shawn --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
