News for hackers. Stuff that matters.

A comment on GitHub Super Linter: one linter to rule them all. Parent comment

Re:GitHub Super Linter: one linter to rule them all by pezo1919 on Thursday June 18, 2020 @11:36PM (#23570689)
I'd like to see robust solutions for formatting personalisation: locally I'd like to use my own style, but in repo it might be canonical so an assistance for that might be easier to create.
[ Parent | on HN ]

There are no comments on this comment yet.