|
|
|
|
|
by Denvercoder9
850 days ago
|
|
It's not really an issue, it's just that the assumption that removing a commit from the history actually deletes it is not correct. That holds for both Git and GitHub, and probably most other Git hosts. Also in general, don't assume that you can remove anything from the internet once it has been published. |
|
And it is a GitHub issue. If you were self-hosting you could just run `git prune` `git gc` or `git repack` or whatever the magic command is.