Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Chore: Lint bin/eslint.js #7243
What is the purpose of this pull request? (put an "X" next to item)
[x] Other, please explain: Make sure we're linting bin/eslint.js
Please check each item to ensure your pull request is ready:
What changes did you make? (Give an overview)
Ensured bin/eslint.js was linted (by adding a
Is there anything you'd like reviewers to focus on?
I turned off
Also, this PR subsumes #7241 a bit, oops. If that gets merged first, I'll rebase the branch.