OK.  What's the procedure for amending a pull request?  Do I just update the commit and push to the remote?