git-delete-submodule • man page