<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p>I'm doing commits automagically after every edit with a custom
      script wrapping my editor command. This is a corner case. Been
      mutating this tree for weeks and "git rm" only pooped on me just
      now when I have no time to go beat the Internet bushes. But
      thanks.</p>
    <p>-Pete</p>
    <p><br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 09/12/2016 05:22 PM, Robert Dale
      wrote:<br>
    </div>
    <blockquote
cite="mid:CABed_4qA46XPhgnNqumcXGtE6DZyWLXG5VK=EBeTPb-1Hf4h6A@mail.gmail.com"
      type="cite">Git commit.  And are you pushing / looking at the
      right branch?<br>
      <br>
      On Monday, September 12, 2016, Pete Soper via TriEmbed <<a
        moz-do-not-send="true" 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
          moz-do-not-send="true" 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 moz-do-not-send="true">TriEmbed@triembed.org</a><br>
        <a moz-do-not-send="true"
          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 moz-do-not-send="true"
          href="http://TriEmbed.org" target="_blank">http://TriEmbed.org</a><br>
      </blockquote>
      <br>
      <br>
      -- <br>
      null<br>
    </blockquote>
    <br>
  </body>
</html>