enabled an automatic merge when the pipeline for 73b5daef succeeds
canceled the automatic merge
mentioned in commit b5a56bf0
merged