src/doc/en/developer/advanced_git.rst: Mention git log --first-parent

sagemath · Apr 9, 2022 · fc7aa4f · fc7aa4f
1 parent 88b04d4
commit fc7aa4f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/doc/en/developer/advanced_git.rst b/src/doc/en/developer/advanced_git.rst
@@ -171,7 +171,8 @@ successfully, it would be possible to merge in our branch
 ``some_code`` into develop. This would produce the same source files
 and avoid unnecessary recompilations. However, it makes reading git's
 history very unpleasant: For example, it is hard to keep track of changes etc.,
-as one cannot simply pursue the first parent of each git commit.
+as one cannot simply pursue the first parent of each git commit
+(``git log --first-parent``).
 
 
 .. _section-git-recovery: