Force GitHub to update the diff for a pull request
We build professional apps for Android, iOS and mobile web.
Have a look →
It's so simple I just had to post it:
git checkout {branch} # checkout the head branch of the PR
git pull # make sure it's up to date
git commit --amend --no-edit # touch the latest commit
git push -f # force push to update the branch
Some examples of when this is useful include forcing Github to update the diff for a pull request, or getting CI (such as TravisCI or CircleCI) to re-run a build without having to visit the UI.