On Tue, May 26, 2020 at 03:14:54PM +0200, Martin Liška wrote: > > > > gcc-ci? > > > > > > What the abbreviation stands for? > > > > > > Martin > > > > > > > > > > > R. > > > > > > > > > > > CheckIn > > > > For those who come from the SVN days where ci was the standard > > abbreviation for committing :-) > > Ah, I see. Anyway, I prefer the original name even though it violates > the naming policy. > > Let other express their preferences (Jason?).
gcc-ci looks nice to me.
Jakub
