enabled an automatic merge when the pipeline for fd6d233e succeeds
mentioned in commit 94608dde
merged