assigned to @leufen1
enabled an automatic merge when the pipeline for c083d819 succeeds
mentioned in commit 1038a4bb
merged