[codethief]

> (Related lesson from my 10 years employed by GitHub: they almost never do the git gc you’d expect to remove commits so once you push a commit: it’s likely there forever and identifiable by that same hash from anywhere in the fork network. This can be bad/scary so be aware).

Oh wow. Is there a way to trigger GC manually?

[OneDeuxTriSeiGo]

For github itself the answer is "contact them if you think you pushed a secret".

For git. You can run `git maintenance run` or the legacy command `git gc`.

[mikemcquaid]

Unsure, no longer there. I think maybe just “contact support”.