Fixes #122 (closed)
enabled an automatic merge when the pipeline for f2e18c25 succeeds
mentioned in commit ec9401e6
merged