approved this merge request
enabled an automatic merge when the pipeline for 0a1fc632 succeeds
mentioned in commit a31688f7
merged