Y
Hacker News
new
|
ask
|
show
|
jobs
by
OneDeuxTriSeiGo
2 days ago
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`.