enabled an automatic merge when the pipeline for 5a54126d succeeds
merged
mentioned in commit 52cce866