Closes #3 (closed)
enabled an automatic merge when the pipeline for a5c2d05d succeeds
mentioned in commit 1360363e
merged