diff --git a/HowtoGit.md b/HowtoGit.md index 50d21b31..96c483bf 100644 --- a/HowtoGit.md +++ b/HowtoGit.md @@ -441,6 +441,12 @@ Pour avoir le dépôt tel qu'il était à un commit : $ git checkout ~~~ +On est alors dans l'état « HEAD détachée ». Pour revenir dans l'état précédent : + +~~~ +$ git checkout - +~~~ + Pour se remettre sur la version courante : ~~~