gnunet

commit 919fd2f427e1a7dda53cd868804d03a61fb0aa87
parent 5c676ddd7e5e36759479b132a42f9af9970bd747
Author: Martin Schanzenbach <mschanzenbach@posteo.de>
Date:   Wed, 28 Apr 2021 10:55:26 +0200

-more git handbook

Diffstat:
M
doc/handbook/chapters/developer.texi
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/doc/handbook/chapters/developer.texi b/doc/handbook/chapters/developer.texi
@@ -1163,6 +1163,11 @@ Preferably, you would then...
 @item (optional) Delete the branch.
 @end itemize
 
+In general, you may want to follow the rule "commit often, push tidy":
+You can create smaller, succinct commits with limited meaning on the commit
+messages. In the end and before you push or merge your branch, you
+can then squash the commits or rename them.
+
 @c ***********************************************************************
 @node Build-system
 @section Build-system