Hello Ludovic, Thank you for a vote in this discussion! ludo@gnu.org (Ludovic Courtès) writes: > Clément Lassieur skribis: > >> Clearly they acknowledge that Git is capitalized (because upstream >> decided so), but cgit is not. >> >> So I think we should not capitalize it :-) > > Agreed. (Though again we should not lose our hair over it. :-)) OK. Pushed as e1cf4fd2d2fc0aab0f91c8ac961a8134cbefe200 I'll close the bug report. Oleg.