diff --git a/tools/push-to-pull-request b/tools/push-to-pull-request
index a07eb12633..277002447f 100755
--- a/tools/push-to-pull-request
+++ b/tools/push-to-pull-request
@@ -43,7 +43,7 @@ EOF
     exit 1
 fi
 
-remote_url="$(git config remote."$remote".url)"
+remote_url="$(git remote get-url --push "$remote")"
 repo_fq="$(echo "$remote_url" | perl -lne 'print $1 if (
     m, ^ git\@github\.com:
          ([^/]+ / [^/]+?)