Git - Vérifier et modifier dépôt distant

Avant d’exécuter un git push, il est recommandé de vérifier que le dépôt local est bien relié au dépôt distant souhaité.

TL;DR

Commande	Description
git remote -v	Affiche les dépôts distants configurés
git branch	Affiche la branche active
git branch -vv	Affiche la branche distante associée
git status	Affiche l’état du dépôt local
git push --dry-run	Simule un envoi vers le dépôt distant
git remote set-url origin <url>	Remplace l’URL du dépôt distant origin
git remote add <nom> <url>	Ajoute un nouveau dépôt distant
git push <remote> <branche>	Envoie les commits vers le dépôt distant choisi

Vérifier le dépôt distant

Afficher les dépôts distants configurés :

$ git remote -v

Exemple de résultat :

origin  [email protected]:moncompte/projet.git (fetch)
origin  [email protected]:moncompte/projet.git (push)

Vérifier que l’URL affichée correspond bien au dépôt de destination.

Vérifier la branche active

Afficher la branche actuellement utilisée :

$ git branch

Exemple :

* main
  dev

L’astérisque (*) indique la branche active.

Vérifier la branche distante associée

Afficher les informations de suivi de la branche :

$ git branch -vv

Exemple :

* main 1a2b3c4 [origin/main] Mon dernier commit

Dans cet exemple, la branche locale main est associée à la branche distante origin/main.

Vérifier l’état du dépôt

Avant un envoi vers le dépôt distant, il est conseillé de consulter l’état du dépôt :

$ git status

Simuler un git push

Pour vérifier la destination d’un git push sans envoyer de modifications :

$ git push --dry-run

L’option --dry-run effectue une simulation et indique où les commits seraient envoyés.

Modifier le dépôt distant

Le dépôt distant associé au dépôt local peut être modifié à tout moment.

Afficher les dépôts distants

$ git remote -v

Remplacer l’URL du dépôt origin

Avec SSH :

$ git remote set-url origin [email protected]:MonCompte/NouveauDepot.git

Avec HTTPS :

$ git remote set-url origin https://github.com/MonCompte/NouveauDepot.git

Vérifier ensuite la modification :

$ git remote -v

Utiliser plusieurs dépôts distants

Git permet d’associer plusieurs dépôts distants à un même dépôt local.

Ajouter un dépôt distant :

$ git remote add ancien [email protected]:MonCompte/AncienDepot.git
$ git remote add nouveau [email protected]:MonCompte/NouveauDepot.git

Exemple de configuration :

ancien   [email protected]:MonCompte/AncienDepot.git
nouveau  [email protected]:MonCompte/NouveauDepot.git
origin   [email protected]:MonCompte/ProjetPrincipal.git

Pour envoyer les modifications vers un dépôt spécifique :

$ git push origin main

ou

$ git push nouveau main

Cette approche est couramment utilisée lors de l’utilisation d’un fork, de plusieurs dépôts distants ou lors de la migration d’un projet.

Documentation

Doc Git