From 9e843da98d51b5b144a5839de8ded3fab704b227 Mon Sep 17 00:00:00 2001
From: Justin Dugger <jldugger@gmail.com>
Date: Tue, 12 May 2020 20:19:48 -0700
Subject: [PATCH] add a default for the remote to fetch a pr from

---
 bin/git-pr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/git-pr b/bin/git-pr
index 622a40c86..3633d1c74 100755
--- a/bin/git-pr
+++ b/bin/git-pr
@@ -59,7 +59,8 @@ if test "$1" = "clean"; then
   done
 
 elif [[ "$1" =~ ^[0-9]+$ ]]; then
-  remote=${2:-origin}
+  remote_pref=${2:-$(git config --get git-extras.pr.remote)}
+  remote=${remote_pref:-origin}
   id=$1
   branch=pr/$id
   pull "$remote" "$id" "$branch"