Fixes #29 (closed)
enabled an automatic merge when the pipeline for 98947c5d succeeds
mentioned in commit b830b8bf
merged