diff options
| author | Josh Triplett <josh@joshtriplett.org> | 2014-06-12 14:57:29 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@joshtriplett.org> | 2014-06-20 11:35:16 -0700 |
| commit | 884a387ecae6ce0aa3739771eecfcc0cd376cf61 (patch) | |
| tree | e2609db54ba18770932c3053152f7aaeb397b1ec /project.py | |
| parent | e9f75b1782dbf6ce9a8f22256316dbb66cdbab11 (diff) | |
| download | git-repo-884a387ecae6ce0aa3739771eecfcc0cd376cf61.tar.gz | |
Add extend-project tag to support adding groups to an existing project
Currently, if a local manifest wants to add groups to an existing
project, it must use remove-project and then re-add the project with
the new groups. This makes the local manifest more fragile, requiring
updates to the local manifest if the original manifest changes.
Add a new extend-project tag, which supports adding groups to an
existing project.
Change-Id: Ib4d1352efd722a65dd263d02644b9ea5ab6ed400
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions