resolve merge conflicts github web editor