|
|
|
|
|
by IshKebab
850 days ago
|
|
It is an issue. It means there's no way to actually delete commits from a GitHub repo. 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. |
|