diff options
author | 2009-10-24 00:06:21 +0200 | |
---|---|---|
committer | 2009-10-24 00:06:21 +0200 | |
commit | c0610b5449ea94d6eeb4f7c57a4a14421990f421 (patch) | |
tree | 785e3ba89407a980e6ad181425de1d9cbc0b7400 | |
parent | Add UTF-8 source marker (diff) | |
download | repositories-xml-format-c0610b5449ea94d6eeb4f7c57a4a14421990f421.tar.gz repositories-xml-format-c0610b5449ea94d6eeb4f7c57a4a14421990f421.tar.bz2 repositories-xml-format-c0610b5449ea94d6eeb4f7c57a4a14421990f421.zip |
Add steev/steev-stable special case handling
-rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index a2bea6c..e5068b6 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -61,6 +61,8 @@ for section_name in gitosis_conf.sections(): _repo_base = section_name[len('repo '):].strip() if _repo_base.startswith('dev/'): repo_name = _repo_base[len('dev/'):].strip() + if repo_name == 'steev': + repo_name = 'steev-stable' owner_type = "person" elif _repo_base.startswith('proj/'): repo_name = _repo_base[len('proj/'):].strip() |