enabled an automatic merge when the pipeline for c5c3e0b8 succeeds
merged
mentioned in commit c36b6d54