enabled an automatic merge when the pipeline for 8ecc6f9b succeeds
merged
mentioned in commit 6bb0b0aa