diff --git a/maincommands.tex b/maincommands.tex index f32d2fb89b64938c7738d2aee2f923bcd277d7ed..728b7ca875fb27591dd7d2fc7cbfb804f7364809 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} }