github desktop pull request merge conflicts