enabled an automatic merge when the pipeline for ede9c818 succeeds
approved this merge request
canceled the automatic merge
mentioned in commit a727783b
merged