NOTES

Remove a Git submodule

This is certainly a lot more involved than one would imagine.

The following assumes that the submodule is MODULE/TO-REMOVE:

  1. Delete the relevant section from .gitmodules
  2. git add .gitmodules
  3. Delete the relevant section from .git/config
  4. git rm --cached MODULE/TO-REMOVE
  5. rm -rf .git/modules/MODULE/TO-REMOVE
  6. rm -rf MODULE/TO-REMOVE
  7. git add .
  8. git commit
  9. git push