utils-code/tj.git-extras
1
0
Fork 0
mirror of https://github.com/tj/git-extras.git synced 2026-09-10 07:26:17 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Merge pull request #837 from jldugger/jldugger/pr-remote-default

Browse source 
add a default for the remote to fetch a pr from
This commit is contained in:
罗泽轩 2020-05-16 12:12:21 +08:00 committed by GitHub
parent acf4123234 9e843da98d
commit 4eb4e7ffdb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
bin/git-pr
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"