Ceci est une ancienne révision du document !


Utiliser Git pour pousser du code sur un dépôt

Récupérer une branche en local

  1. On peut soit la cloner :
    git clone branche
  2. Soit mettre à jour uniquement les modifications :
    git pull branche

Configurer le repo Git

  1. Ouvrir Git bash, se placer dans le répertoire du code à pousser, et l'initialiser avec :
    git init

    Un nouveau répertoire .git doit apparaître

  2. Configurer les identifiants de connexion au repo :
    git config --global user.email "adresse@mail.fr"
    git config --global user.name "username"
  3. Indiquer l'URL du repo (GitHub, GitLab ou autre) avec :
    git remote add origin <URL>

Pousser des modifications sur une branche

Procédure simple pour pousser du code sur un dépôt avec Git :

  1. Se placer dans la bonne branche :
    git branch -M main
  2. Ajouter les fichiers à push avec :
    git add .
  3. Faire un commit (push au repo local) en ajoutant un commentaire décrivant la raison du push :
    git commit -m "description"
  4. Pousser le code sur le serveur (ici, on précise la branche source locale et la branche destination, mais ce n'est pas obligatoire) :
    git push origin main
  5. Vérifier l'état de l'opération avec (permet d'afficher aussi les modifications non poussées) :
    git status

Supprimer et renommer des fichiers dans une branche

  • Supprimer :
    git rm fichier
  • Renommer :
    git mv fichier nouveaunom

Ajouter une nouvelle branche

  1. Créer une nouvelle branche :
    git branch -c nouvellebranche
  2. Pour passer sur la nouvelle branche :
    git checkout nouvellebranche
  3. Pour pousser sur la nouvelle branche (après add et commit) :
    git push origin nouvellebranche

Afficher les modifications sur le repo

* Voir l'historique des modifications :

git log

* Afficher une modification particulière en indiquant son commit ID :

git show 674906a6f96c2d3f004525cd80ae1cb29c0c21cc