Closes #11 (closed)
enabled an automatic merge when the pipeline for e47b899b succeeds
merged
mentioned in commit 0db7a85f