enabled an automatic merge when the pipeline for 4bcec5c0 succeeds
canceled the automatic merge
merged
mentioned in commit 82ed17a3