$ git rm -r --cached . $ git add . $ git commit -m 'remove ignored file' $ git push {remote} {branch}