Build fix for superproject fetch jobs (again)
!30 (merged) introduced its own problem: the | character has special meaning in
YAML, so the script lines that introduced it (as part of the bash ||
operator) needed to be quoted. The result was that none of the nightly
superproject pipelines have run since last month!