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!