Fixup CI failure in 8955b316
Fix a CI failure in master since 8955b316 (Merge branch 'ps-replaceMustRunCommandWithGittestAlternative' into 'master', 2021-05-11). The MR itself at [1] passed, and so did its MR pipeline, but not once we merged to master.
This is because the merge CI was based on e892790a (Merge branch 'ps-rm-old-test-server-setup' into 'master', 2021-05-11). So we missed 33f7ab5d (Merge branch 'ps-use-gittest.Exec' into 'master', 2021-05-11) and 30ae36f7 (Merge branch 'ps-rm-clone-repo' into 'master', 2021-05-11).