This reverts merge request !32 (merged)
enabled an automatic merge when all merge checks for faf75ef5 pass
mentioned in commit 8ad772d3
merged