Resolving Git Commit History Divergence Due to Case-Sensitive Rename Operations

This 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 the future. Short Summary If your commit history has case-sensitive rename operations and you're mucking around with history, you may …