github resolve merge conflicts pull request