This reverts merge request !308 (merged)
enabled an automatic merge when the pipeline for ab77b8a8 succeeds
merged
mentioned in commit 91a16166