assigned to @mancini
enabled an automatic merge when the pipeline for 95354a01 succeeds
mentioned in commit 17dff92b
merged