Amending a GitHub Pull Request

How many times have you done a pull request on GitHub only to need to make additional changes to it later? It's all part of open-source coding.

If you've made additional changes to the code you can sync those changes to the PR from the command line:

git commit --amend

Then:

git push -f origin <topic-branch-name>

Fast and clean and your PR is looking mean.