enabled an automatic merge when the pipeline for 37e41965 succeeds
approved this merge request
mentioned in commit 8ba7a273
merged