From 919fd2f427e1a7dda53cd868804d03a61fb0aa87 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Wed, 28 Apr 2021 10:55:26 +0200 Subject: -more git handbook --- doc/handbook/chapters/developer.texi | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc') 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 -- cgit v1.2.3