enabled an automatic merge when the pipeline for c4a7ac71 succeeds
merged
mentioned in commit 15c88bed