enabled an automatic merge when the pipeline for ffb3dfbf succeeds
mentioned in commit 9f5f3957
merged