enabled an automatic merge when the pipeline for 6c6c58bf succeeds
approved this merge request
merged
mentioned in commit 6e93c070