github pull request resolve conflicts