diff options
| -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') |