OSS #5: How to update a pull request on GitHub