commit 0a1c6a1c16e2c89f98158cb2f79dda1583a8fac4
author David Holmer <odinguru@gmail.com> Wed Nov 14 19:19:00 2012 -0500
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Apr 03 22:27:45 2013 +0000
tree 2446c673c4eddf2a499e36b4e898ea258a6d3c7a
parent 33e045673786f3477e805ade0f337de08e89a7a8

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

repo

diff --git a/repo b/repo
index 6b374f7..c348474 100755
--- a/repo
+++ b/repo
@@ -164,7 +164,8 @@
                  help='create a shallow clone with given depth; see git clone')
 group.add_option('-g', '--groups',
                  dest='groups', default='default',
-                 help='restrict manifest projects to ones with a specified group',
+                 help='restrict manifest projects to ones with specified '
+                      'group(s) [default|all|G1,G2,G3|G4,-G5,-G6]',
                  metavar='GROUP')
 group.add_option('-p', '--platform',
                  dest='platform', default="auto",