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/