If the git submodule deinit
fails (maybe because the .gitmodules
doesn't list that submodule), try to remove at least the special entry in the index:
git rm --cached submodule-name
git commit -m "Remove submodule entry"
git push
The gray folder should then be gone on GitHub side.