This reverts merge request !62 (merged)
enabled an automatic merge when the pipeline for 72a6f495 succeeds
merged
mentioned in commit 3de32b08