enabled an automatic merge when the pipeline for a5f5a6a5 succeeds
merged
mentioned in commit fcd2bfb8