This reverts merge request !6 (merged)
enabled an automatic merge when the pipeline for b5dda0ff succeeds
merged
mentioned in commit d43c0032