enabled an automatic merge when the pipeline for 8ae4a2e9 succeeds
merged
mentioned in commit 35e7358e