enabled an automatic merge when the pipeline for b0087602 succeeds
canceled the automatic merge
mentioned in commit ca772857
merged