Résoudre les divergences

src/tex/resolution_conflits/historiques_divergents.tex

@@ -27,6 +27,20 @@
 	\end{block}
 \end{frame}
 
-\begin{frame}
+\begin{frame}[fragile]
 	\frametitle{Résoudre des divergences ?}
+	\begin{block}{Définition}
+		\textbf{Résoudre une divergence}, c'est faire en sorte que les historiques soient cohérents.
+
+		Pour ça, on peut:
+		\begin{itemize}
+			\item Remettre toutes les divergences au dessus de l'historique distant via un \texttt{git rebase}.
+				Ainsi, si on fait un commit sur master en étant en retard sur le remote, on rebasera master sur origin/master et la divergence sera réglée
+			\item Écrasant son historique local via un \verb+git reset --hard+
+			\item Écrasant l'historique distant via un \verb+git push --force+
+		\end{itemize}
+	\end{block}
+	\begin{alertblock}{Attention}
+		On évitera d'ecraser l'historique distant sans être sûr de soi, car cela créera des divergences avec \textbf{tous les autres collaborateurs} du projet.
+	\end{alertblock}
 \end{frame}