enabled an automatic merge when the pipeline for 8ba4f971 succeeds
mentioned in commit 6b41b024
merged