enabled an automatic merge when the pipeline for b5b5adb0 succeeds
canceled the automatic merge
merged
mentioned in commit a67a7b47