enabled an automatic merge when the pipeline for 8db8d877 succeeds
approved this merge request
merged
mentioned in commit 7e95eb89