diff options
| author | David Holmer <odinguru@gmail.com> | 2012-11-14 19:19:00 -0500 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2013-04-03 22:27:45 +0000 |
| commit | 0a1c6a1c16e2c89f98158cb2f79dda1583a8fac4 (patch) | |
| tree | 2446c673c4eddf2a499e36b4e898ea258a6d3c7a /git_refs.py | |
| parent | 33e045673786f3477e805ade0f337de08e89a7a8 (diff) | |
| download | git-repo-0a1c6a1c16e2c89f98158cb2f79dda1583a8fac4.tar.gz | |
Special handling for manifest group "default"
Change Details:
* Make "default" a special manifest group that matches any project that
does not have the special project group "notdefault"
* Use "default" instead of "all,-notdefault" when user does not specify
manifest group
* Expand -g option help to include example usage of manifest groups
Change Benefits:
* Allow a more intuitive and expressive manifest groups specification:
* "default" instead of "all,-notdefault"
* "default,foo" instead of "all,-notdefault,foo"
* "default,-foo" instead of "all,-notdefault,-foo"
* "foo,-default" which has no equivalent
* Default manifest groups behavior can be restored by the command
'repo init -g default'. This is significantly more intuitive than the
current equivalent command 'repo init -g all,-notdefault'.
Change-Id: I6d0673791d64a650110a917c248bcebb23b279d3
Diffstat (limited to 'git_refs.py')
0 files changed, 0 insertions, 0 deletions