Hi !
I just noticed we are receiving some totally senseless PRs recently. I'm not sure it's not a tool that generates them, but it's a real annoyance.
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.
I hope such a bad behavior is not going to spread like Coronavirus... --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
