On Thursday, 26 May 2016 at 18:38:30 UTC, Seb wrote: > > I proposed two weeks ago to turn off the bot, but it seems some > people like it. Most projects I can think of have separate *-commits lists for automated spam like that. -Wyatt