mirror.yaml: pass PIPELINE_NAME (#20)
Warning
Wouter Deconinck
created pipeline for commit
7be4db47
, finished
For master
74 minutes 58 seconds, queued for 3 seconds