diff options
-rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 20205df..2546089 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -34,7 +34,6 @@ repo_name_mapping = { 'sci':'science', 'perl-overlay':'perl-experimental', 'xfce':'xfce-dev', - 'php':'php-experimental', 'gnome-perf':'leio-gnome-perf', 'flameeyes':'flameeyes-overlay', } |