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