diff options
author | Sebastian Pipping <sebastian@pipping.org> | 2009-10-10 10:08:27 +0200 |
---|---|---|
committer | Sebastian Pipping <sebastian@pipping.org> | 2009-10-10 10:08:27 +0200 |
commit | d1e7fd421eb046df37e79b50d2b3ffb2d6be2593 (patch) | |
tree | f5445880a531609a2ba54536a90fd5b47d516615 | |
parent | Add "this file is generated" notes to each overlay, not just the whole file (diff) | |
download | repositories-xml-format-d1e7fd421eb046df37e79b50d2b3ffb2d6be2593.tar.gz repositories-xml-format-d1e7fd421eb046df37e79b50d2b3ffb2d6be2593.tar.bz2 repositories-xml-format-d1e7fd421eb046df37e79b50d2b3ffb2d6be2593.zip |
Take "gitweb = no" into account
-rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 580f2ad..5525aef 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -74,6 +74,11 @@ for section_name in gitosis_conf.sections(): # TODO print NOT_AN_OVERLAY_MESSAGE % repo_name continue + if gitosis_conf.has_option(section_name, 'gitweb') and \ + not gitosis_conf.getboolean(section_name, 'gitweb'): + # TODO print 'Skipping %s (not public)' % repo_name + continue + is_new = repo_name not in overlays_gentoo_org_dict if is_new: repo = ET.Element('repo') |