enabled an automatic merge when the pipeline for d9a63bd5 succeeds
canceled the automatic merge
mentioned in commit a105b39b
merged