From 46eef4ce2e2227ec68171a368d567a31f6d9d311 Mon Sep 17 00:00:00 2001
From: Eric Menendez <3814114+emenendez@users.noreply.github.com>
Date: Tue, 2 Jun 2020 10:53:14 -0600
Subject: [PATCH] Support older versions of git without `git remote get-url`

It seems older versions of git (at least version 2.4.11) do not support `git remote get-url`; this incantation works instead.
---
 sourcegraph.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sourcegraph.py b/sourcegraph.py
index 516d9a0..bfc87a4 100644
--- a/sourcegraph.py
+++ b/sourcegraph.py
@@ -25,7 +25,7 @@ def gitRemotes(repoDir):
 # gitRemoteURL returns the remote URL for the given remote name.
 # e.g. 'origin' -> 'git@github.com:foo/bar'
 def gitRemoteURL(repoDir, remoteName):
-	proc = subprocess.Popen(['git', 'remote', 'get-url', remoteName], stdout=subprocess.PIPE, cwd=repoDir, startupinfo=startupinfo)
+	proc = subprocess.Popen(['git', 'config', '--get', 'remote.{}.url'.format(remoteName)], stdout=subprocess.PIPE, cwd=repoDir, startupinfo=startupinfo)
 	return proc.stdout.read().decode('utf-8').rstrip()
 
 # gitDefaultRemoteURL returns the remote URL of the first Git remote found. An