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