enabled an automatic merge when the pipeline for 19ce36a7 succeeds
canceled the automatic merge
mentioned in commit 859ef8dc
merged