assigned to @awernle
enabled an automatic merge when the pipeline for c082f0ef succeeds
mentioned in commit 805a7b51
merged