git remote: allow adding remotes agreeing with url.<...>.insteadOf
[git] / contrib / mw-to-git / Git /
drwxr-xr-x   ..
-rw-r--r-- 2664 Mediawiki.pm