android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Allow projects with groups=None

Browse Source 
Mirror manifest and repo projects are outside the manifest and
have no groups.  Allow project groups to be None for these
projects.

Change-Id: I3e1c4add894fe1c43aa4e77a1fc1558aa10dd191
This commit is contained in:
Colin Cross 2012-05-24 15:39:14 -07:00
parent 6ba6ba0ef3
commit eca119e5d6
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
project.py
View File

@ -666,6 +666,8 @@ class Project(object):
manifest_groups: "-group1,group2"
the project will be matched.
"""
if self.groups is None:
return True
matched = False
for group in manifest_groups:
if group.startswith('-') and group[1:] in self.groups: