From 37c21c268badc2602a827d2236027e235fff95e0 Mon Sep 17 00:00:00 2001 From: Michael Kelly Date: Sat, 13 Jun 2020 02:10:40 -0700 Subject: Add 'dest-path' to extend-project to support changing path This allows us to move the repository to a new location in the source tree without having to remove-project + add a new project tag. Change-Id: I4dba6151842e57f6f2b8fe60cda260ecea68b7b4 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/310962 Reviewed-by: Mike Frysinger Tested-by: Michael Kelly --- docs/manifest-format.md | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'docs/manifest-format.md') diff --git a/docs/manifest-format.md b/docs/manifest-format.md index ed297ae7..8e0049b3 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md @@ -90,6 +90,7 @@ following DTD: + @@ -337,6 +338,11 @@ against changes to the original manifest. Attribute `path`: If specified, limit the change to projects checked out at the specified path, rather than all projects with the given name. +Attribute `dest-path`: If specified, a path relative to the top directory +of the repo client where the Git working directory for this project +should be placed. This is used to move a project in the checkout by +overriding the existing `path` setting. + Attribute `groups`: List of additional groups to which this project belongs. Same syntax as the corresponding element of `project`. -- cgit v1.2.3-54-g00ecf