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 d67ba72d..0c2b45e5 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -590,6 +590,12 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 590 | return None | 590 | return None |
| 591 | 591 | ||
| 592 | @property | 592 | @property |
| 593 | def PartialCloneExclude(self): | ||
| 594 | exclude = self.manifest.manifestProject.config.GetString( | ||
| 595 | 'repo.partialcloneexclude') or '' | ||
| 596 | return set(x.strip() for x in exclude.split(',')) | ||
| 597 | |||
| 598 | @property | ||
| 593 | def IsMirror(self): | 599 | def IsMirror(self): |
| 594 | return self.manifestProject.config.GetBoolean('repo.mirror') | 600 | return self.manifestProject.config.GetBoolean('repo.mirror') |
| 595 | 601 | ||
