Avoid running 'git submodule' when there's no .gitmodules
Avoid running 'git submodule' when there's no .gitmodules

Because every 'git submodule foreach ...' costs 50 WALL CLOCK SECONDS on
my Jenkins, dunno why.

mauritsvanrees/check-manifest,mgedmin/check-manifest