chore(scripts): don't assume cwd when running lint-style. (#5721)
chore(scripts): don't assume cwd when running lint-style. (#5721)

Allows running the linter from any ol' directory.



leanprover-community/mathlib,leanprover-community/mathlib