git pull resolve conflicts theirs