How do I resolve a conflict after git pull?
You don’t need mergetool for this. It can be resolved pretty easily manually. Your conflict is that your local commits added a file, vision_problem_8.h, that a remote commit also created, by a rename from vignette_generator_mashed.h. If you run ls -l vision_problem_8.h* you will probably see multiple versions of this file that git has preserved for … Read more