aboutsummaryrefslogtreecommitdiff
path: root/doc/handbook/chapters/developer.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/handbook/chapters/developer.texi')
-rw-r--r--doc/handbook/chapters/developer.texi5
1 files changed, 5 insertions, 0 deletions
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...
1163@item (optional) Delete the branch. 1163@item (optional) Delete the branch.
1164@end itemize 1164@end itemize
1165 1165
1166In general, you may want to follow the rule "commit often, push tidy":
1167You can create smaller, succinct commits with limited meaning on the commit
1168messages. In the end and before you push or merge your branch, you
1169can then squash the commits or rename them.
1170
1166@c *********************************************************************** 1171@c ***********************************************************************
1167@node Build-system 1172@node Build-system
1168@section Build-system 1173@section Build-system