tree d2d8c1b751e38036acb6a530bea9b6dae121147b
parent b12c369e0bce29914a50aca258271b25893d2857
author Michael Kelly <mkelly@arista.com> 1592039440 -0700
committer Michael Kelly <mkelly@arista.com> 1632859920 +0000

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 <vapier@google.com>
Tested-by: Michael Kelly <mkelly@arista.com>