[TriEmbed] hail mary github question

[Pete Soper]

I do a "git rm foo" and a "git push", all goes well, but at 
http://github.com/myrepo "foo" is still there. Is there a "git 
--nuclear-tipped-cruise-missile rm foo"?

-Pete