On Fri, Mar 13, 2020 at 03:24:15PM +0100, William Lallemand wrote: > If you grep on BUILD: in the git log, this keyword does not mean > anything anymore. And this is confusing in my opinion. We could > introduce "CI: " instead.
Good idea. I can adjust it. Ilya, just a question, what will be the impact of this ? Will we all be spammed or anything or are you the one volunteering to stand in front of the cannon ? :-) Willy