assigned to @leufen1
enabled an automatic merge when the pipeline for 560f7c21 succeeds
canceled the automatic merge
mentioned in commit bce92b10