title: How do I completely nuke a file from a git repo?
body: <p>I've accidentally pushed a file that I don't have rights to to a publicly accessible repo. </p>
  
  <p>What can I do to selectively nuke that single file from the repo completely, so that its data is completely gone?</p>