diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index daf85d30..7c5906da 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -650,6 +650,12 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 650 | def HasLocalManifests(self): | 650 | def HasLocalManifests(self): |
| 651 | return self._load_local_manifests and self.local_manifests | 651 | return self._load_local_manifests and self.local_manifests |
| 652 | 652 | ||
| 653 | def IsFromLocalManifest(self, project): | ||
| 654 | """Is the project from a local manifest? | ||
| 655 | """ | ||
| 656 | return any(x.startswith(LOCAL_MANIFEST_GROUP_PREFIX) | ||
| 657 | for x in project.groups) | ||
| 658 | |||
| 653 | @property | 659 | @property |
| 654 | def IsMirror(self): | 660 | def IsMirror(self): |
| 655 | return self.manifestProject.config.GetBoolean('repo.mirror') | 661 | return self.manifestProject.config.GetBoolean('repo.mirror') |
