enabled an automatic merge when the pipeline for a5c34c5d succeeds
mentioned in commit c4e0173c
merged