enabled an automatic merge when the pipeline for a3d7d0a2 succeeds
merged
mentioned in commit 60373b77