This reverts merge request !91 (merged)
enabled an automatic merge when the pipeline for 844deaa1 succeeds
canceled the automatic merge
merged
mentioned in commit 3ab0d7b8