Deleting files from git history, and why they are still on GitHub afterwards, sgit.ai case study
How this repository dropped 15,933 files from every one of its 112 commits: the setup with two branches drawn out, why git rm is not deletion, what git filter-repo does to every commit id, why the push had to be forced and how the lease made it safe, why a forgotten merged branch kept the purged objects reachable and downloadable, what happens when it is deleted, and the order to do it in when the file is a secret.
Home↗ / Case studies↗ / Deleting files from git history