Fixes #228
Can be reproduced via:
0git filter-repo --invert-paths --path fuzz_seed_corpus # clear the path with the old name
1
2git mv fuzz_corpora fuzz_corpora_backup # backup of the new name
3git commit -m 'backup'
4git filter-repo --invert-paths --path fuzz_corpora
5git mv fuzz_corpora_backup fuzz_corpora
6git commit -m 'restore'
I’ve also rebased on the very first commit, as it does not need to be rewritten (this will also simplify review later on) and the exact commit id can be kept:
0git rebase 52db8e0f4a2c75b0f977c808f81c0cf6b264e077
This can be reviewed by re-doing the filter, and then comparing the resulting commit history:
0git range-diff 52db8e0f4a2c75b0f977c808f81c0cf6b264e077 HEAD fd7e08cd37a175b31a100f71f8a9f3fb369b4837
Or simply by comparing against current main
(ignoring the history) and observing an empty diff:
0$ git diff e6e82b895a44365a2faa9ff96f6d39dafe2da43e fd7e08cd37a175b31a100f71f8a9f3fb369b4837 | wc -l
10