Make git-pr set up branch for pulling (#570)

With these changes, the pr/nn branches created by git-pr also support `git pull` to get PR updates.
This commit is contained in:
R. Martinho Fernandes 2016-09-11 05:42:41 +02:00 committed by hemanth.hm
parent 93c2830ce7
commit 241069ddac

View file

@ -16,4 +16,7 @@ else
id=$1
branch=pr/$id
fi
git fetch -fu $remote refs/pull/$id/head:$branch && git checkout $branch
git fetch -fu $remote refs/pull/$id/head:$branch && \
git checkout $branch && \
git config --local --replace branch.\"$branch\".merge refs/pull/$id/head && \
git config --local --replace branch.\"$branch\".remote $remote;