title: Git Remove Directory in Github
body: <p>I made a mistakes and now I can't fix it.
  I have pushed an useless directory in my github repository, then I deleted it and repush the new version of my project. The problem is that the directory is still here in github WebUI but not when I pull (already up to date, and my local project doesn't have the useless directory).</p>
  
  <p>This is a screenshot of my github web interface </p>
  
  <p><a href="https://i.stack.imgur.com/6xlDM.jpg" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/6xlDM.jpg" alt="enter image description here"></a></p>
  
  <p>The dir is <code>l3miage-bdsi-G01</code>
  Thanks</p>