Make the change, amend the previous commit (e.g. `git commit --amend std/format.d` on the `patch-3` branch, and then force-push the branch to your GitHub repo (`git push -f origin patch-3`, or whatever your remote name is). The pull request will then be updated automatically.