Merge details
enabled an automatic merge when the pipeline for c075fe92 succeeds
canceled the automatic merge
mentioned in commit 74b52a12
merged