Closes #20 (closed)
enabled an automatic merge when the pipeline for 50bd1562 succeeds
mentioned in commit e0fc9e9b
merged