approved this merge request
enabled an automatic merge when the pipeline for 76286d62 succeeds
mentioned in commit aae68c7d
merged