Linters are just awkward PR discussions that scale.