It would be nice if there was a "delete all references to this file" button on Github. If suddenly a file is up there that was never supposed to be, a single cl

It would be nice if there was a "delete all references to this file" button on Github. If suddenly a file is up there that was never supposed to be, a single click to purge it from all existence would be great.