From 1caae40dcd6a48ad9feb09e59788123b85f2af7c Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Tue, 24 Mar 2020 03:50:59 +0100
Subject: [PATCH] Typo

---
 maincommands.tex | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/maincommands.tex b/maincommands.tex
index f32d2fb..728b7ca 100644
--- a/maincommands.tex
+++ b/maincommands.tex
@@ -358,6 +358,12 @@
 % serveurs distants. Il faut les envoyer explicitement, comme indiqué à
 % la fin de http://git-scm.com/book/fr/Les-bases-de-Git-Balisage
 
+% \fixme{Voir le commentaire ci-dessous, étendre l'explication des tags}
+% Attention (bis), les git push --tags ne poussent (par défaut) que les
+% tags, pas les commits... On peut vite se retrouver avec des tags
+% poussés sur le serveur qui ne sont associés à aucun commit si ces
+% derniers n'ont pas été poussés au préalable
+
 %======================================================================
 
 \frame{\frametitle{\ext{git reset}}
@@ -448,7 +454,7 @@
     le dépôt distant (\ex{git push}) s'il y eu des changements sur le
     dépôt distant
   \item
-    L'option \ex{--rebase} permet d'effectuer une fusion sans
+    L'option \ex{-{}-rebase} permet d'effectuer une fusion sans
     provoquer l'ajout d'un nouveau commit formalisant cette fusion
   \end{itemize}
 }
-- 
GitLab