Hacker News new | past | comments | ask | show | jobs | submit
There is no point discussing these minutia, ever. Just ban discussing them in PRs and then you don't need an opinionated bot rife with false positives to "fix" them.