github fix merge conflicts command line