These days https://github.com/newren/git-filter-repo is superior.