assigned to @leufen1
enabled an automatic merge when the pipeline for 6d534b35 succeeds
mentioned in commit 08d74095