git-delete-submodule is included in git extras