git merge --abort https://stackoverflow.com/questions/48151570/error-reverting-is-not-possible-because-you-have-unmerged-files