diff options
-rwxr-xr-x | write-overlays-ini.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/write-overlays-ini.py b/write-overlays-ini.py index 0e13d53..9136f14 100755 --- a/write-overlays-ini.py +++ b/write-overlays-ini.py @@ -38,6 +38,10 @@ for repo in repositories: else: feed_uri_to_name[_feed_uri] = set([repo_name]) + if repo.attrib.get('status', 'unofficial') != 'official': + print ' Info: Skipping unofficial overlay "%s"' % repo_name + continue + def shorten_down(l): pos = l[0].find('-') if pos != -1: @@ -64,8 +68,6 @@ for repo in repositories: overlays_ini.set(_feed_uri, 'name', repo_name) - # _official = (repo.attrib.get('type', 'unofficial') == 'official') and 'yes' or 'no' - _owner_type = repo.find('owner').attrib.get('type', 'project') if _owner_type == 'person': overlays_ini.set(_feed_uri, 'developer', 'yes') |