diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-04-28 10:55:26 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-04-28 10:55:26 +0200 |
commit | 919fd2f427e1a7dda53cd868804d03a61fb0aa87 (patch) | |
tree | 276d2d9cf815a6590f5c8a024f2a33d43f1129d9 /doc | |
parent | 5c676ddd7e5e36759479b132a42f9af9970bd747 (diff) | |
download | gnunet-919fd2f427e1a7dda53cd868804d03a61fb0aa87.tar.gz gnunet-919fd2f427e1a7dda53cd868804d03a61fb0aa87.zip |
-more git handbook
Diffstat (limited to 'doc')
-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 |