diff options
| author | Michael Kelly <mkelly@arista.com> | 2020-06-13 02:10:40 -0700 |
|---|---|---|
| committer | Michael Kelly <mkelly@arista.com> | 2021-09-28 20:12:00 +0000 |
| commit | 37c21c268badc2602a827d2236027e235fff95e0 (patch) | |
| tree | d2d8c1b751e38036acb6a530bea9b6dae121147b /git_config.py | |
| parent | b12c369e0bce29914a50aca258271b25893d2857 (diff) | |
| download | git-repo-37c21c268badc2602a827d2236027e235fff95e0.tar.gz | |
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>
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions