enabled an automatic merge when the pipeline for abc40c01 succeeds
canceled the automatic merge
mentioned in commit f5cfb7a5
merged