Fixes #7 (closed)
enabled an automatic merge when the pipeline for d0074482 succeeds
canceled the automatic merge
mentioned in commit 33ce0f8f
merged