commit f1dd55b4c70ab8a124a0c2f90c5c7889f0d6f51d
parent d4b2d1fe582fd978b08873c0227ad47b813583fd
Author: Thien-Thi Nguyen <ttn@gnuvola.org>
Date: Wed, 9 Dec 2020 00:00:15 -0500
recommend ‘dev/$USER/...’ as "personal" branch name
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/developers-manual.rst b/developers-manual.rst
@@ -107,7 +107,8 @@ to sign them, you can retroactively add signatures using:
$ git rebase -S
-Whether you commit to a personal branch, a feature branch or to ``master`` should
+Whether you commit to a personal branch (recommended: ``dev/$USER/...``),
+a feature branch or to ``master`` should
depend on your level of comfort and the nature of the change. As a general
rule, the code in ``master`` must always build and tests should always pass, at
least on your own system. However, we all make mistakes and you should expect