summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorPeter Kjellerstedt <pkj@axis.com>2025-11-08 06:42:53 +0100
committerLUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com>2025-11-26 02:08:44 -0800
commit3073a9004606eec6e3eff8a6e3260b81cd8f4e02 (patch)
tree78272bb34d966dd854c45c0832a39449d5306acc /man
parent75773b8b9d265bc8ef113586be5c3e2d36250983 (diff)
downloadgit-repo-3073a9004606eec6e3eff8a6e3260b81cd8f4e02.tar.gz
git-repo-3073a9004606eec6e3eff8a6e3260b81cd8f4e02.zip
manifest: Propagate revision attribute through multiple levels of include
Make sure a revision attribute for an include element is propagated through multiple levels of manifest includes. Change-Id: If37d65b0cd47da673719976598175d0eb6b7cbbe Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/525341 Reviewed-by: Mike Frysinger <vapier@google.com> Tested-by: Peter Kjellerstedt <peter.kjellerstedt@axis.com> Commit-Queue: Peter Kjellerstedt <peter.kjellerstedt@axis.com> Reviewed-by: Gavin Mak <gavinmak@google.com>
Diffstat (limited to 'man')
-rw-r--r--man/repo-manifest.14
1 files changed, 3 insertions, 1 deletions
diff --git a/man/repo-manifest.1 b/man/repo-manifest.1
index 38c728e6e..74e44efdd 100644
--- a/man/repo-manifest.1
+++ b/man/repo-manifest.1
@@ -641,7 +641,9 @@ extend\-project elements in the included manifests. Same syntax as the
corresponding element of `project`.
.PP
Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`)
-default to which all projects in the included manifest belong.
+default to which all projects in the included manifest belong. This recurses,
+meaning it will apply to all projects in all manifests included as a result of
+this element.
.PP
Local Manifests
.PP