Skip to content

Fix git modules in CI

Jiří Helebrant requested to merge patch-1 into master

Fetching git modules without GIT_SUBMODULE_STRATEGY tries to ask for a Github username/password (and crashes because the Docker "machine" doesn't have any input devices).

Merge request reports