enabled an automatic merge when the pipeline for 9dcfef81 succeeds
canceled the automatic merge
merged
mentioned in commit 8005f1b7