Remove directory from remote repository after adding them to .gitignore

git rm -r --cached .
git add .
git commit -m "Remove the now ignored directory"
git push origin main

src: https://stackoverflow.com/questions/7927230/remove-directory-from-remote-repository-after-adding-them-to-gitignore