Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Docs: remove outdated rule naming convention #9925
What is the purpose of this pull request? (put an "X" next to item)
[x] Documentation update
What changes did you make? (Give an overview)
This removes the recommendation that rule names be very short and use abbreviations. In the gitter channel a few days ago, there was some consensus that the recommendation was outdated and could lead to confusing rule names.
Is there anything you'd like reviewers to focus on?
Nothing in particular