Comment by tda

It's only the difference between CI enforcing code style vs manual PR reviews that have a checkbox for code style. They accomplish the same, but one is infinitely better.