Github


  1. Ajouter le dépôt distant « origin »

    git remote add origin [url_de_votre_projet_sur_github]
    
  2. Pousser la branch locale « master » vers la branch distante « origin »

    git push -u origin master
    
  3. Mettre à jour le dépôt local depuis le dépôt distant

    git pull [nom de la branche]
        # le nom de la branch est optionnel si il n'y en a qu'une (origin)
    
  4. Lister les branch distantes
    • Lister les branch distantes toutes seules

      git remote
      
    • afficher l’url à la suite du nom de la branch

      git remote -v
      
  5. Modifier l’url du dépôt distant

    • Ouvrir le dossier « .git » que se trouve à la base du dépôt local

    • Editer le fichier « config » et modifier la ligne « URL »

  6. Pousser toutes branch d’un coup sur le dépôt distant

    git push --all
    
  7. Supprimer une branche distante

    git push origin :[nom_de_la_branche_distante]
        # N.B : les ':' doivent être colles au nom de la branch distante
    
  8. Obtenir la list des branch distantes (liste depuis de dépôt local)

    git branch -r
    
  9. Obtenr la list de toutes les branch

    git branch -a
    
  10. Pour mettre à jour une branch locale depuis depuis une branch distante

    git pull -a [depot_distant] [branch_locale]
        # ex : git pull -a origin dev