approved this merge request
enabled an automatic merge when the pipeline for 4ccf37ce succeeds
mentioned in commit 9e1395ed
merged