enabled an automatic merge when the pipeline for 230c35d2 succeeds
canceled the automatic merge
mentioned in commit 775e6a37
merged