enabled an automatic merge when the pipeline for f67f1449 succeeds
mentioned in commit 9c0ec9b7
merged