This reverts merge request !3 (merged)
enabled an automatic merge when the pipeline for ba9ce783 succeeds
merged
mentioned in commit e54681e7