Removing a directory from the git repository after adding it to .gitignore

If a directory was added to .gitignore before pushing to the repository, it does not get pushed. But if the directory was already pushed, and later added to .gitignore, then to remove it from the repository:

git rm -r --cached dirToIgnore
git commit -m 'Removing the gitignored dir'
git push

The directory dirToIgnore should now be removed from the git repository.

Read on how to use Git to deploy a project on a remote server.