Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add some linting #37

Open
OverrUnderr opened this issue Aug 8, 2019 · 1 comment
Open

Add some linting #37

OverrUnderr opened this issue Aug 8, 2019 · 1 comment
Labels
feature_request

Comments

@OverrUnderr
Copy link
Member

OverrUnderr commented Aug 8, 2019 •
edited

Brief description of what to do to close issue (if applicable):

  • Look at linting systems
  • Pick one
  • Add script to run the linting

Assignees:

Priority (1-10): 8
@issue-label-bot
Copy link

Issue-Label Bot is automatically applying the label feature_request to this issue, with a confidence of 0.93. Please mark this comment with 👍 or 👎 to give our bot feedback!

Links: app homepage, dashboard and code for this bot.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature_request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@OverrUnderr