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.