enabled an automatic merge when the pipeline for e5e41d50 succeeds
approved this merge request
merged
mentioned in commit f24d31b5