SPIP zone n'existe plus, parlons de git.spip.net

Tout est dans le titre du PR.

Si je passe par un PR plutôt qu'un commit direct, c'est que je me demande si le nom du site est bien git.spip.net dans la communauté, ou bien un autre truc, genre spip-git ou autre.

Je sais pas si on a déjà un consensus à ce sujet.