enabled an automatic merge when the pipeline for 6813f7fc succeeds
mentioned in commit 6ce06357
merged