assigned to @mancini
enabled an automatic merge when the pipeline for f4e0fc67 succeeds
mentioned in commit 0864ef58
merged