Update after a pull request