enabled an automatic merge when the pipeline for 3a28e187 succeeds
merged
mentioned in commit d8062802