enabled an automatic merge when the pipeline for 172b0fd3 succeeds
canceled the automatic merge
mentioned in commit f082c50d
merged