This reverts merge request !194 (merged)
enabled an automatic merge when all merge checks for 102a344b pass
merged
mentioned in commit 1db6ba6c