This reverts merge request !93 (merged)
enabled an automatic merge when the pipeline for 3a0fb7a5 succeeds
mentioned in commit 567685a5
merged