On Sat, 29 Sep 2018 at 21:39, Gregorio Litenstein wrote: > > *feels not-so-subtly called out* hahaha.
On an unrelated note: since I don't know how GitHub works precisely with notifications, did you see the three comments from Ryan with requests for other fixes? I would like to ask you to address those. > I just figured that having some blacklisting might be better than none at all > but I did curse plenty while trying to figure out which to blacklist. > I’d definitely welcome a better way to do this. It's the job of committers to make sure that commits make sense, so if there's anyone to blame it's me :) Blacklisting is definitely needed, but it's far easier if it's done at a single place. Mojca
