comment supprimer un dossier de git et non localement
# Remove folder from git and not local filesystem
git rm -r --cached FolderName
git commit -m "Removed folder from repository"
git push origin master
# After the push, make sure to add the folder to .gitignore for future iterations
Disgusted Dingo