enabled an automatic merge when the pipeline for a6deb014 succeeds
mentioned in commit 3e3043eb
merged