enabled an automatic merge when the pipeline for f88b9a1d succeeds
merged
mentioned in commit ec79d6f0