4 ms·"No pre-push linter" is the hill I'll die on.by cdchn 2y ago"No pre-push linter" is the hill I'll die on.Cerium 2y agoCould you elaborate? My team is currently looking at adding a pre-push linter to replace the annoying CI linter.cdchn 2y agoLinters as gatekeepers are bad in my opinion, and ones that prevent you from pushing as pre-push hooks are the worst offenders.