-
Notifications
You must be signed in to change notification settings - Fork 73
Delete old fuzz inputs from history #232
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
(Obviously this should not be merged, but rather force pushed to the main branch, after review) |
This should nuke 5GB unused stuff from the
|
I’m surprised to see a few "Add inputs" commits in that history still. Should they not all be squashed to one to get a cut-through? |
I can remove them as well, but I don't think it is going to provide a significant difference. I'll take a look tomorrow. |
Ah right, if they only add inputs that are still in the current set it would not make a big difference. I just thought from the description of what you are doing that all commits that touch the content of the |
Thanks, done. It actually went down another 50%:
|
I tried |
For me it is 300M:
Also note, that this doesn't affect a clone that omits the history ( This will only affect a fresh, full clone. The goal is to drop years old fuzz inputs from the history that are irrelevant today. |
Thanks, I was looking at the whole directory not just lgtm! |
@murchandamus I guess I'll wait for your review and then merge this? |
I have verified that the diff between this branch and main is empty. I was curious which commit would be creating the LGTM. |
Fixes #228
Can be reproduced via:
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:
This can be reviewed by re-doing the filter, and then comparing the resulting commit history:
Or simply by comparing against current
main
(ignoring the history) and observing an empty diff: