On connaît « git add, git commit, git push », certes, mais avant d’exécuter ces instructions, il faut parfois vérifier à quel dépôt on est connecté afin d’éviter des mauvaises surprises.

Le risque de ne pas être connecté au bon repository est d’écraser un dépôt exisant que l’on ne voulait pas modifier, tout en ne mettant pas à jour celui que l’on voulait alimenter.

On fait alors d’une pierre deux mauvais coups.

Pour éviter les mauvaises surprises, il existe une instruction bien utile.