enabled an automatic merge when the pipeline for ae8e1403 succeeds
mentioned in commit c0d24cc7
merged