git-delete-submodule: comment the DUMMY prefix and ignore the output of grep -v.
git-delete-submodule: comment the DUMMY prefix and ignore the output of grep -v.

tj/git-extras,GuillaumeSeren/git-extras,spacewander/git-extras