enabled an automatic merge when the pipeline for 86a11d36 succeeds
mentioned in commit f6aad0f5
merged