index des TPs - ue12-p25-git

quelques TPs pour pratiquer git

tp-add-by-lines¶

tp-conflict¶

tp-pending-changes¶

faire et défaire

travail individuel

créer un repo, ajouter dedans un commit avec un README.md contenant une seule ligne (typiquement on un titre en markdown)
faites une modification (ajouter du texte) avec vs-code
ajoutez-la dans l’index
faites une autre modification (ajouter du texte), toujours avec vs-code
à ce stade vous avez deux classes de modifications: staged ou non
observez-les avec git status et git diff (ou équivalent dans vs-code)
vous changez d’avis, vous voulez défaire l’action que vous aviez faite dans 3.
(c’est-à-dire retirer la modife de l’index mais pas la jeter complètement)
pareil que 5., assurez-vous que vous arrivez bien à visualiser l’état du repo; normalement vous n’avez plus qu’une seule classe de changements, non staged
enfin vous changez envore d’avis et vous voulez jeter complètement les modifications en souffrance, vous les jetez complètement
on vérifie visuellement qu’il n’y a plus de modification pendante

tp-amend¶

tp-clone-pull¶

tp-killing-push¶

tp-teamwork¶

tp-pull-request-fork¶

un TP à faire à deux

élève A crée un repo sur github, avec du contenu; le repo est public
pour la suite, c’est essentiellement élève B qui bosse, élève A peut profitablement regarder :)
élève B clone le repo, fait une modification et la met dans un commit
élève B essaie de pousser son nouveau commit dans le github de A, mais échoue car il n’a pas les droits
élève B demande à github de lui créer un fork
élève B pousse son commit dans son fork (il a le droit cette fois)
élève B crée (dans le repo de A) un pull request
élève A consulte le pull request, et accepte (merge) le changement
on vérifie que la modification de B est bien dans le repo de A

on recommence en inversant les rôles...

tp-pull-request-single-repo¶

un TP à faire à deux

élève A crée un repo sur github, avec du contenu; le repo est public
pour la suite, c’est essentiellement élève B qui bosse, élève A peut profitablement regarder :)
élève B clone le repo.
élève B ouvre une nouvelle branche feature-eleve-b et fait une modification et la met dans un commit
élève B essaie de pousser son nouveau commit dans le github de A, mais échoue car il n’a pas les droits
élève A donne des droits à l’élève B : via Settings/Collabateurs sur le repository du projet. Trouver l’option Manage access/Add people
élève B accepte l’invitation pour travailler sur le repository de l’élève A
élève B pousse son commit et sa branche sur le repository de l’élève A
élève B crée (dans le repo de A) un pull request
élève A consulte le pull request, et accepte (merge) le changement
on vérifie que la modification de B est bien dans le repo de A
élève A peut effectuer la même procedure en commitant sur la branche qu’il créé feature-eleve-a

Certains workflows imposent que tous les changements soient fait via une Pull Request. On souhaite alors ‘protéger’ la branche principale main contre les commits directs. Pour ce faire :

élève A va dans les Settings/Branches du repository et click sur l’option ‘Add classic branch protection rule’. La branche à protéger est ‘main’. Séléctionner l’option ‘Require a pull request before merging’ et ‘Require a pull request before merging’
élève A et l’élève B essaient de pousser un changement/commit directement sur main. Que se passe-t-il ?

tp-class-text¶

un TP à faire à toute la classe

ce TP demande une courte préparation spécifique par groupe
une fois que c’est prêt vous devrez visiter une URL dans le genre de
https://github.com/ue12-p25/git-tp-class-text-groupe3

à faire par le prof

à destination des avancés, et pour illustrer le cours, voici comment le prof peut faire la préparation pour cet exo, avec le bon numéro de groupe of course

  # cloner localement le repo de référence
git clone git@github.com:ue12-p25/git-tp-class-text-template.git
  # aller dedans
cd git-tp-class-text-template
  # créer le repo sur github - il faut avoir les droits
gh repo create --public ue12-p25/git-tp-class-text-groupe3
  # ajouter un remote qui pointe vers ce nouveau repo (vide pour l'instant)
git remote add my-group git@github.com:ue12-p25/git-tp-class-text-groupe3.git
  # pousser dedans
git push my-group main