Accueil Synthèses 1ère année Synthèses 2ème année Synthèses 3ème année BelgACAI Learn Calculateur Énergie Boîte à outils Git/GitHub

Boîte à outils Git / GitHub

L'essentiel pour bien démarrer avec Git (local) et GitHub (hébergement et collaboration).

1. Git vs GitHub

  • Git: système de contrôle de version en local (suivi des fichiers, historique, branches).
  • GitHub: plateforme distante pour héberger les dépôts, collaborer (Issues, PR).

2. Installation & Config

  1. Installer Git (Windows/Mac/Linux).
  2. Configurer l'identité:
    git config --global user.name "Votre Nom"
    git config --global user.email "vous@example.com"
    
  3. Activer l'éditeur préféré (ex: VS Code):
    git config --global core.editor "code --wait"
    

3. Workflow de base

  1. Initialiser ou cloner:
    # Nouveau dépôt
    mkdir mon-projet && cd mon-projet
    git init
    
    # Cloner un dépôt existant
    git clone <url>
    
  2. Cycle local:
    git status              # voir l'état
    git add .               # indexer (staging)
    git commit -m "Message" # enregistrer
    git push                # envoyer vers GitHub
    
  3. Lier un dépôt distant:
    git remote add origin <url>
    # Première publication
    git push -u origin main
    

4. Branches & Fusions

# Créer et basculer
git checkout -b feature/x

# Fusionner dans main
git checkout main
git pull --rebase origin main
git merge feature/x

git push origin main

Astuce: préférez pull --rebase pour garder un historique linéaire.

5. Distant & PR (GitHub)

  • Push vos branches vers GitHub: git push origin feature/x
  • Ouvrez une Pull Request depuis la branche vers main.
  • Demandez une revue, résolvez les commentaires, fusionnez.

6. Ignorer & Nettoyer

# .gitignore (extraits)
node_modules/
.env
.DS_Store
# Annuler des changements locaux
git restore <fichier>
# Réinitialiser l'index
git reset HEAD <fichier>

7. Résoudre un conflit

  1. git pull → conflit détecté.
  2. Ouvrir le fichier, choisir les bons blocs.
  3. git add <fichier> puis git commit.

8. Fiches mémo (cheat sheet)

Journal & Diff

git log --oneline --graph --decorate -n 10
git diff

Stash

git stash
git stash pop

Tags

git tag v1.0.0
git push origin v1.0.0

9. Ressources

10. Guide débutant : commandes utiles

  • Initialiser un projet : git init (crée un dépôt Git dans le dossier courant).
  • Cloner un projet : git clone <url> (copie locale d’un dépôt GitHub).
  • Voir l’état : git status (fichiers modifiés, en attente, non suivis).
  • Ajouter au staging : git add . (tout ajouter) ou git add <fichier> (ciblé).
  • Enregistrer un commit : git commit -m "Message clair" (crée un point de sauvegarde).
  • Récupérer du distant : git pull (fusionne les derniers changements du serveur).
  • Envoyer au distant : git push (publie vos commits sur GitHub).
  • Historique : git log --oneline (historique condensé), git diff (différences).
  • Branches : git branch (liste), git checkout -b feature/x (nouvelle branche), git merge feature/x (fusion).
  • Rebase (linéaire) : git pull --rebase (réécriture propre des commits locaux).
  • Mettre de côté : git stash / git stash pop (sauver/restaurer du travail en cours).
  • Tagguer une version : git tag v1.0.0, puis git push origin v1.0.0.
  • Configurer le distant : git remote add origin <url>, git remote -v (vérifier).
  • Annuler localement : git restore <fichier> (retire les modifs non indexées), git reset HEAD <fichier> (retire du staging).
  • Annuler un commit publié : git revert <hash> (crée un commit inverse, sûr en équipe).
  • Supprimer/Déplacer : git rm <fichier>, git mv ancien nouveau.

Astuce : avant de pousser, faites toujours git pull, puis git status pour vérifier ce qui partira sur GitHub.