resolve merge conflicts github using command line