enabled an automatic merge when the pipeline for ae712d7e succeeds
merged
mentioned in commit f9b6ee5c