enabled an automatic merge when the pipeline for 82c0eb71 succeeds
merged
mentioned in commit 10d31d76