github fix merge conflicts