add a default for the remote to fetch a pr from

This commit is contained in:
Justin Dugger 2020-05-12 20:19:48 -07:00
parent db3389a3cc
commit 9e843da98d

View file

@ -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"