enabled an automatic merge when the pipeline for f40a9dda succeeds
merged
mentioned in commit e80b1acb