title: Remove directory from remote repository after adding them to .gitignore
body: <p>I committed and pushed some directory to github. After that, I altered the <code>.gitignore</code> file adding a directory that should be ignored. Everything works fine, but the (now ignored) directory stays on github.</p>
  
  <p>How do I delete that directory from github and the repository history?</p>