• Ajouter, supprimer des fichiers :puis valider avec « git commit ».

  **$** git add <fichier...> **$** git rm <fichier...> **$** git mv <source...> <destination>

• Revoir les commits :

  **$** gitk**$** git show**$** git log**$** git log -p**$** git log --stat --summary**$** git log --oneline

• Envoyer les commits vers le serveur :

  **$** git push

• Recevoir les commits depuis le serveur :

  **$** git fetch**$** git pull

• Schéma de synthèse des opérations :

  

• Ignorer des fichiers : fichier .gitignore

Exercices

1. Push simpleFaire un commit localement, puis « git push » pour l'envoyer vers le serveur.Utiliser l'interface web de GitLab pour vérifier que le commit y a bien été propagé.
2. Pull simpleFaire un commit par l'interface web, puis un « git pull » pour l'intégrer localement.
3. Fusion automatiqueFaire un commit par l'interface web. Faire un commit en local sur un autre fichier.Tenter un « git push ». Recommencer avec « git pull » suivi de « git push ».
4. Situation de conflitComme l'exercice précédent, mais en modifiant (différemment) les mêmes parties d'un fichier.Un conflit apparaît au moment du « git pull », le résoudre.