enabled an automatic merge when the pipeline for a6188328 succeeds
mentioned in commit a658973f
merged