enabled an automatic merge when the pipeline for 9435e6fc succeeds
merged
mentioned in commit 644d2ee7