diff options
author | 2010-04-11 20:43:04 +0200 | |
---|---|---|
committer | 2010-04-11 20:43:08 +0200 | |
commit | a574b2c357aa495e47ac485348076e1a6844eb6a (patch) | |
tree | 11e6863dc8e3ca969d0018497be851b80bd0f995 | |
parent | Propagate rename of steev-stable to steev (diff) | |
download | repositories-xml-format-a574b2c357aa495e47ac485348076e1a6844eb6a.tar.gz repositories-xml-format-a574b2c357aa495e47ac485348076e1a6844eb6a.tar.bz2 repositories-xml-format-a574b2c357aa495e47ac485348076e1a6844eb6a.zip |
No longer declare user overlays "official"
-rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 638e161..a303533 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -143,7 +143,10 @@ for section_name in gitosis_conf.sections(): log = ChangeLog(gitosis_repo_name, is_new) if 'status' not in repo.attrib: - repo.attrib['status'] = 'official' + if owner_part == 'user': + repo.attrib['status'] = 'unofficial' + else: + repo.attrib['status'] = 'official' log.log('attribute', 'status') if 'quality' not in repo.attrib: |