Outils pour utilisateurs

Outils du site


git

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Dernière révisionLes deux révisions suivantes
git [2020/05/11 19:43] – [Les branches] manugit [2020/05/12 12:54] – [Remotes] manu
Ligne 15: Ligne 15:
 ===== Remotes ===== ===== Remotes =====
  
-  * Ajouter un //remote// (dépôt distant) à un dépôt local : ''git remote add <remote>''+  * Ajouter un //remote// (dépôt distant) à un dépôt local : ''git remote add <nom du remote, eg. origin> <remote>''
   * Récupérer en local le dépôt : ''git pull origin master''   * Récupérer en local le dépôt : ''git pull origin master''
   * Mettre à jour le dépôt distant : ''git push origin master''   * Mettre à jour le dépôt distant : ''git push origin master''
git.txt · Dernière modification : 2020/05/13 19:37 de manu