title: How do I remove an empty folder and push that change?
body: <p>How can I remove an empty folder locally and also have that happen for other collaborators that share the remote via pull-push?  I know that folders aren't 'tracked' in that sense by git but the question remains.</p>
  <p>e.g. I moved a file to another folder and committed the change (of the move).</p>
  <p>But I can't <code>git rm name</code> the folder as I get &quot;doesn't match&quot;
  <code>git rmdir name</code> doesn't exist.</p>
  <p>I can do a <code>git clean -f folder</code> but how does that get pushed up?</p>
  <p>I can directly <code>rm</code> the file but how do I get that directory removal done correctly and pushed to the repository and then out to others when they pull so that their existing folder gets deleted.</p>