Fixes #228
Can be reproduced via:
git filter-repo --invert-paths --path fuzz_seed_corpus # clear the path with the old name
git mv fuzz_corpora fuzz_corpora_backup # backup of the new name
git commit -m 'backup'
git filter-repo --invert-paths --path fuzz_corpora
git mv fuzz_corpora_backup fuzz_corpora
git 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:
git rebase 52db8e0f4a2c75b0f977c808f81c0cf6b264e077
This can be reviewed by re-doing the filter, and then comparing the resulting commit history:
git range-diff 52db8e0f4a2c75b0f977c808f81c0cf6b264e077 HEAD fd7e08cd37a175b31a100f71f8a9f3fb369b4837
Or simply by comparing against current main (ignoring the history) and observing an empty diff:
$ git diff e6e82b895a44365a2faa9ff96f6d39dafe2da43e fd7e08cd37a175b31a100f71f8a9f3fb369b4837 | wc -l
0