Otherwise if you hit the `Enable auto-merge` button and the linting fails the PR is still aut-merged.