Update after a pull request pull request