diff options
| author | Kyunam Jo <kyunam.jo@gmail.com> | 2020-02-04 11:38:53 +0900 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-02-04 22:42:28 +0000 |
| commit | bd0aae95f56d46cef665e11f2ee88581b88fcfce (patch) | |
| tree | d071eff6faaf750ee88fa95804945d6b9bffe145 /project.py | |
| parent | e6a202f790daaf204513b8c53b824fcc246f9972 (diff) | |
| download | git-repo-bd0aae95f56d46cef665e11f2ee88581b88fcfce.tar.gz | |
Add a way to override the remote using <extend-project>
This commit supports for the 'remote' attribute in
<extend-project>. This avoids the need to perform a <remove-project>
followed by a <project> in local manifests.
Change-Id: I9f9347913337ec9d159bc264d15ce97881ae5398
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/253092
Tested-by: Kyunam Jo <kyunam.jo@gmail.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions