Merger la branche de Johnny

• forker le repository (apparaît désormais sur votre compte github)
• cloner le repository associé à votre compte dans ~/dev/ex/
• sélectionner la branche johnny
• regarder l'état courant des branches avec git log --graph --oneline --decorate --all
• merger master sur johnny
• regarder l'état courant des branches avec git log --graph --oneline --decorate --all
• une fois le merge conclu, aller sur master
• merger johnny sur master
• regarder l'état courant des branches avec git log --graph --oneline --decorate --all
• supprimer la branche johnny en local
• supprimer la branche johnny sur votre repository github