enabled an automatic merge when the pipeline for 667bd53d succeeds
merged
mentioned in commit 1bd88fa1