## How to split a git repository and follow directory renames

This is a mirror of my answer to this StackOverflow question.

I had a very large repository from which I needed to extract a single folder; even --index-filter was predicted to take 8 hours to finish. Here’s what I did instead.