assigned to @dcasper
enabled an automatic merge when the pipeline for 42ffc23f succeeds
mentioned in commit 14f71e1c
merged