enabled an automatic merge when the pipeline for 728267ab succeeds
canceled the automatic merge
mentioned in commit 59ed1d61
merged