Quickly rewrite git repository history (filter-branch replacement)

Elijah Newren 057947f6ff filter-repo: prune commits that started empty if they now have no parents ... If ancient history that pre-dated some subdirectory had a few empty commits, we would rather those all got pruned as well. Empty commits from the original repository should only be retained if they have at least one retained parent. Signed-off-by: Elijah Newren <newren@gmail.com>		2019-02-09 14:44:55 -08:00
COPYING	filter-repo: add a few documentation files	2019-02-09 14:42:23 -08:00
git-filter-repo	filter-repo: prune commits that started empty if they now have no parents	2019-02-09 14:44:55 -08:00