How to split a git repository and follow directory renames?
Thanks to @Chronial, I was able to cook a script to massage my git repo according to my needs: git filter-branch –prune-empty –index-filter ‘ # Delete files which are NOT needed git ls-files -z | egrep -zv “^(NAME1|NAME2|NAME3)” | xargs -0 -r git rm –cached -q # Move files to root directory git ls-files -s … Read more