I remember there was an effort to rename Coq, it turned out.. well? https://rocq-prover.org/
As for git.. https://en.wiktionary.org/wiki/git It doesn't seem it would be renamed.. However, got seems to be quite a nice acronym: https://gameoftrees.org/
Ordered randomly.