directory-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Emmanuel L├ęcharny <>
Subject Useless PRs on GitHubs...
Date Fri, 06 Mar 2020 07:51:46 GMT
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:
For additional commands, e-mail:

View raw message