|
|
|
|
|
|
by calpaterson
2350 days ago
|
|
|
Well if the team doesn't like the linter tool they should be able to change it. That's a political problem and nothing to do with linters. My experience is that linters (that people like) saves you from having to constantly discuss formatting, minor problems at the PR stage which is otherwise a huge time sink. |
|
|