cdi-1.8.x-pio-merge-followup-tag protected

Sergey Kosukhin

@m300488

1bc5e581 · Update CI scripts on Daint: fail early when running in $HOME. · Jul 13, 2022

Holds the reviewed HEAD of !11

Can be removed once !11 is history.