I've accidentally pushed a file that I don't have rights to to a publicly accessible repo.
What can I do to selectively nuke that single file from the repo completely, so that its data is completely gone?
Git Filter-Branch is your friend in this case, well documented by the lovely Github