enabled an automatic merge when the pipeline for c87e01e9 succeeds
mentioned in commit 186bb756
merged