enabled an automatic merge when the pipeline for f6e0e9dd succeeds
mentioned in commit 0f4003fc
merged