enabled an automatic merge when the pipeline for 7f207764 succeeds
canceled the automatic merge
mentioned in commit 0f4f3c48
merged