Flatten fuzz_corpora git history?

[maflcko]

The git history is currently append-only. However, I don't think anyone is using older commits for archaeology. Also, the authorship/date/metadata is mostly irrelevant when it comes to files with raw bytes, which are often cross-pollinated and mutated by (mostly) machines.

Leaving the history just means that fresh full clones take longer and that GitHub is less happy about the size of the repo.

So my recommendation would be to remove ./fuzz_corpora from the git history and then add only the state of the folder today back on top in a single commit.

Rewriting the git history is a breaking change (at least for my fuzzing servers/setup), so I wanted to create a brainstorming issue first.

[dergoegge]

sgtm

[murchandamus]

I don’t think it would create an issue for my setup to flatten the history, and reducing the overall size of this repository seems useful. SGTM.