[Cerium]

Could you elaborate? My team is currently looking at adding a pre-push linter to replace the annoying CI linter.

[cdchn]

Linters as gatekeepers are bad in my opinion, and ones that prevent you from pushing as pre-push hooks are the worst offenders.