assigned to @dmonk
enabled an automatic merge when the pipeline for f769e347 succeeds
mentioned in commit 72ea223a
merged