tree be93f68a568f27341b61fa367a42dcdfe75df234
parent 58929732123780497ba08ed9c2d24f4bc65971a1
author Michael Kelly <mkelly@arista.com> 1625043508 -0700
committer Michael Kelly <mkelly@arista.com> 1625762901 +0000

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 <mkelly@arista.com>
Reviewed-by: Mike Frysinger <vapier@google.com>