assigned to @pohl
enabled an automatic merge when the pipeline for ab711bf0 succeeds
merged
mentioned in commit d3c924e7