How to amend a commit on a GitHub Pull Request