Adrien Joly -
Cours git
Ce support de cours a été conçu en 2018 par Adrien Joly, pour initier les étudiants de l’EEMI à l’utilisation de l’outil git.
Objectifs
- Comprendre l’intérêt de
gitet GitHub - Découvrir la philosophie Open Source, et les principes de collaboration employés sur ces projets
- Maîtriser les opérations et commandes de GIT de base: init, clone, checkout, merge, pull, push
- Comprendre le concept de conflit, et savoir le résoudre
- Application: forker un projet Github Pages fourni, y contribuer, puis proposer un Pull Request
Compétences requises
- Savoir utiliser le terminal/shell
- Lire documentation et exemples en anglais sur internet
Première partie (2h)
📌 Support de cours: Slides (presser P pour afficher les notes)
Programme
- Cours: Introduction à git:
- problèmes et solutions
- terminologie, flot, commandes de base
- TD 1.1: Créer un dépôt
gitsur le serveur GitLab de l’EEMI - TD 1.2: Collaborer sur un dépôt GitLab
Pro tips
- Harmoniser l’encodage des fin de lignes
- Visualisation de l’historique dans le terminal
- Éviter d’avoir à taper son mot de passe Gitlab à chaque fois
Deuxième partie (2h)
Programme
Évaluation
Chaque étudiant(e) sera évalué(e) et noté(e) sur:
- l’existence d’un dépôt comprenant un commit de sa création + d’un(e) autre étudiant(e) de 1A, sur son profil GitLab
- l’envoi d’une demande de fusion confirmée au trombinoscope open source sur GitHub, en utilisant son adresse email EEMI
… en respectant les consignes fournies.
Au delà du cours
Pistes
Pour aller plus loin avec git et le monde open source:
- Gestion de tickets (issues)
- Tags et gestion de versions
- Déploiement sur Heroku
- Intégration continue et déploiement continu
- Survol des licences open source
- Étiquette dans projets open-source (bonnes pratiques de communication)
Ressources
- CS Visualized: Useful Git Commands
- Exerciseur interactif (pour pratiquer): Apprenez Git Branching
- Git: Rudiments de Git
- OpenClassrooms: Gérez votre code avec Git et GitHub (videos)
- OpenClassrooms: Gérez vos codes source avec Git (tuto)
- Guide récapitulatif: git - petit guide - no deep shit!
- Quel git workflow pour mon projet ? par @nicoespeon
- 4 branching workflows for Git – Patrick Porto – Medium
- The GitHub Blog: Merge conflicts in the classroom
- Exemples de dépôts open source sur GitHub:
- Linux (système d’exploitation)
- Frogatto & Friends (jeu vidéo)
- Le Code Civil Français