github pull request merge conflicts