Git commit.  And are you pushing / looking at the right branch?<br><br>On Monday, September 12, 2016, Pete Soper via TriEmbed <<a href="mailto:triembed@triembed.org">triembed@triembed.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I do a "git rm foo" and a "git push", all goes well, but at <a href="http://github.com/myrepo" target="_blank">http://github.com/myrepo</a> "foo" is still there. Is there a "git --nuclear-tipped-cruise-missil<wbr>e rm foo"?<br>
<br>
-Pete<br>
<br>
<br>
<br>
______________________________<wbr>_________________<br>
Triangle, NC Embedded Computing mailing list<br>
<a>TriEmbed@triembed.org</a><br>
<a href="http://mail.triembed.org/mailman/listinfo/triembed_triembed.org" target="_blank">http://mail.triembed.org/mailm<wbr>an/listinfo/triembed_triembed.<wbr>org</a><br>
TriEmbed web site: <a href="http://TriEmbed.org" target="_blank">http://TriEmbed.org</a><br>
</blockquote><br><br>-- <br>null<br>