Jenkins build fails with:
+ git submodule update --init fatal: detected dubious ownership in repository at '/srv/jenkins/workspace/wikimedia-portals-build/src/prod' To add an exception for this directory, call: git config --global --add safe.directory /srv/jenkins/workspace/wikimedia-portals-build/src/prod Unable to find current revision in submodule path 'prod'
https://integration.wikimedia.org/ci/job/wikimedia-portals-build/