Fixes #17 (closed)
enabled an automatic merge when the pipeline for d6afb61a succeeds
mentioned in commit ffd5074e
merged