assigned to @henfr13
enabled an automatic merge when the pipeline for 613fee89 succeeds
mentioned in commit b58c37b1
merged