RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-09-27 02:52:13 +08:00
Code Issues Packages Projects Releases Wiki Activity

Refine groups functionality

Browse Source 
Every project is in group "default".  "-default" does not remove
it from this project.  All group names specified in the manifest
are positive names as opposed to a mix of negative and positive.

Specified groups are resolved in order.  If init is supplied with
--groups="group1,-group2", the following describes the project
selection when syncing:

  * all projects in "group1" will be added, and
  * all projects in "group2" will be removed.

Change-Id: I1df3dcdb64bbd4cd80d675f9b2d3becbf721f661
This commit is contained in:
Conley Owens
2012-04-16 10:36:08 -07:00
committed by Shawn O. Pearce
parent 24c1308840
commit 971de8ea7b
6 changed files with 41 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repo
View File

@@ -28,7 +28,7 @@ if __name__ == '__main__':
del magic
# increment this whenever we make important changes to this script
VERSION = (1, 15)
VERSION = (1, 16)
# increment this if the MAINTAINER_KEYS block is modified
KEYRING_VERSION = (1,0)
@@ -126,7 +126,7 @@ group.add_option('--depth', type='int', default=None,
dest='depth',
help='create a shallow clone with given depth; see git clone')
group.add_option('-g', '--groups',
dest='groups', default="",
dest='groups', default='default',
help='restrict manifest projects to ones with a specified group',
metavar='GROUP')