I would like to know if there's a way to actually delete a commit from a remote Git repository. I have committed (and pushed) sensitive data, so I used the obvious
git reset HEAD^
git push -f
To rewrite the branch with what was there before, but if I try to access the former commit's page (on GitLab) using its hash, I still see its contents (even if it's referenced nowhere).
I tried running "housekeeping" (which to my understanding should remove this) but it didn't.
Any ideas?