assigned to @dpopov
enabled an automatic merge when the pipeline for caa4dd0c succeeds
FYI @mimazure
canceled the automatic merge
mentioned in commit f454fd0f
merged
FYI @gcorti
Pipeline failed
It's CERN Docker registry which is failing.
