Bravo.. sono cose che mi chiedo anch'io, più per queste sigle in sé che comunque l'utente medio non capirebbe mai, se vale la pena tradurre i termini propri di GitHub. C'ho perso un'ora soltanto a capirli io (e vagamente). Git non mi risulta che possa essere utilizzato in altre lingue, ma solo in inglese, quindi non so bene cose muovermi in questo caso.

da un lato non voglio perderci tempo perché TGX non se lo fila nessuno, dall'altro sono scelte che ogni tanto si ripropongono e ogni volta viene il dubbio...

Una volta scelta la politica (almeno per un prodotto), poi si tiene quella ovunque.