Closes #122 (closed)
enabled an automatic merge when the pipeline for 4386a8a2 succeeds
mentioned in commit 848e681a
merged