Closes #23 (closed)
enabled an automatic merge when the pipeline for d962543c succeeds
mentioned in commit c65f814d
merged