This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 001cd00bcd doc: Briefly discuss default git branch name.
001cd00bcd is described below
commit 001cd00bcd123cd1eab6ebd1b85afd7b0aa994fa
Author: Hugo Buddelmeijer <[email protected]>
AuthorDate: Sun Oct 5 09:50:46 2025 +0200
doc: Briefly discuss default git branch name.
* doc/contributing.texi (Building from git): Discuss branch name.
Change-Id: I9ddb9318749c7974a8724355c1a6b18a98fa9e8e
Signed-off-by: Gabriel Wicki <[email protected]>
---
doc/contributing.texi | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/doc/contributing.texi b/doc/contributing.texi
index d1e2e63758..66ea408e24 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -134,7 +134,11 @@ C++11 standard.
@section Building from Git
If you want to hack Guix itself, it is recommended to use the latest
-version from the Git repository:
+version from the Git repository@footnote{
+Guix uses @code{master} as the default branch name. A proposal in 2025 to
+change the default branch name to @code{main} did not reach consensus.
+See
@uref{https://codeberg.org/guix/guix-consensus-documents/src/branch/main/003-rename-default-branch.md,
+Guix Consensus Document 003}.}:
@example
git clone https://git.guix.gnu.org/guix.git
