comment supprimer le dossier de git distant
git rm -r --cached <folder>
git commit -m "Removed Folder"
git push origin master
Concerned Chipmunk
git rm -r --cached <folder>
git commit -m "Removed Folder"
git push origin mastergit rm -r --cached myFolder
git rm -r --cached FolderName
git commit -m "Removed folder from repository"
git push origin master
git rm -r one-of-the-directories // This deletes from filesystem
git commit . -m "Remove duplicated directory"
git push origin <your-git-branch> (typically 'master', but not always)