Resolving Git Commit History Divergence Due to Case-Sensitive Rename Operations
8 November 2023 by Phillip JohnstonThis post is mostly a note-to-self, because I’ve solved this before but have no notes on it. I also hope that publishing it on my website might save someone a few minutes or hours in…