From 06da9987f6be6ddc1637e8ae02646d6dfab09862 Mon Sep 17 00:00:00 2001 From: Michael Kelly Date: Wed, 30 Jun 2021 01:58:28 -0700 Subject: Gracefully ignore bad remove-project line Sometimes, we don't care if the remove project is referring to a non-existing project and we can just ignore it. This change allows us to ignore remove-project entries if the project that they refer to doesn't exist, making them effectively a no-op. Because this change breaks existing configuration, we allow this to be configuration controlled using the `optional` attribute in the remove-project tag. Change-Id: I6313a02983e81344eadcb4e47d7d6b037ee7420e Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/310964 Tested-by: Michael Kelly Reviewed-by: Mike Frysinger --- docs/manifest-format.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'docs/manifest-format.md') diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 45fd615e..c3bfcff0 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md @@ -96,6 +96,7 @@ following DTD: + @@ -393,6 +394,9 @@ This element is mostly useful in a local manifest file, where the user can remove a project, and possibly replace it with their own definition. +Attribute `optional`: Set to true to ignore remove-project elements with no +matching `project` element. + ### Element repo-hooks NB: See the [practical documentation](./repo-hooks.md) for using repo hooks. -- cgit v1.2.3-54-g00ecf