Old versions (<2.0) of git don't have git remote get-url. This uses

an different way of getting the same information which is hopefully
more widely supported.

Author: hategan

tests/ci_runner.py

@@ -196,7 +196,7 @@ def patch_repo() -> None:
 
 
 def update_origin() -> None:
-    old_url = run('git', 'remote', 'get-url', 'origin')
+    old_url = run('git', 'config', '--get', 'remote.origin.url')
     new_url = old_url.strip().replace(OLD_REPO, NEW_REPO)
     if new_url != old_url:
         with info('Updating git url to %s' % new_url):