I'm using the git pr
command from the git-extras toolset to check out a local copy of a PR.
To rebase the PR again, I wrote a little script, which needs to be run in the PR's branch:
#!/usr/bin/env bash
branch=$(git symbolic-ref HEAD --short)
git rebase master
git checkout master
git merge --ff-only $branch
git push origin master
This closes the PR directly.
Specify target branch
git-pr-rebase <branchname>
(defaults to 'master'):