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
dirToIgnore should now be removed from the git repository.