assigned to @rschoene
enabled an automatic merge when the pipeline for 1dc2039b succeeds
mentioned in commit dcb00e7e
merged