diff options
-rw-r--r-- | doc/handbook/chapters/developer.texi | 5 |
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 | ||
1166 | In general, you may want to follow the rule "commit often, push tidy": | ||
1167 | You can create smaller, succinct commits with limited meaning on the commit | ||
1168 | messages. In the end and before you push or merge your branch, you | ||
1169 | can 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 |