Merging a pull request: force push