enabled an automatic merge when the pipeline for 396b7e0c succeeds
approved this merge request
mentioned in commit 92c98790
merged