[gnunet] branch master updated: -more git handbook

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 919fd2f42 -more git handbook
919fd2f42 is described below

commit 919fd2f427e1a7dda53cd868804d03a61fb0aa87
Author: Martin Schanzenbach <mschanzenbach@posteo.de>
AuthorDate: Wed Apr 28 10:55:26 2021 +0200

    -more git handbook
---
 doc/handbook/chapters/developer.texi | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/handbook/chapters/developer.texi 
b/doc/handbook/chapters/developer.texi
index 7546f7ac7..24981c020 100644
--- 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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.