Minor fixes
enabled an automatic merge when the pipeline for 5d70a809 succeeds
canceled the automatic merge
merged
mentioned in commit 1735ba25