enabled an automatic merge when the pipeline for aed708e8 succeeds
merged
mentioned in commit 64ebfaeb