Fixes #170 (closed)
enabled an automatic merge when the pipeline for 3ed05693 succeeds
mentioned in commit 47403a05
merged