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.

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

Enable and fix multiple lints for consistency #112

Merged
merged 1 commit into from
Jan 9, 2023

Conversation

parlough
Copy link
Collaborator

@parlough parlough commented Jan 8, 2023

Developed over a few years where common practices have changed and by a few contributors, the style of the code is a bit inconsistent. As I work on more changes, I wanted to have a well-defined style to follow to allow reviewing to be easier and future code to be more consistent.

This PR adds a few lints and fixes them, mostly automatically, but with a few hand made changes as well.

If you prefer other options, like specifying types or using var, let me know. I'm happy to make changes :)

@parlough parlough force-pushed the misc/add-lints-for-consistency branch from f12b9b3 to ba94ea9 Compare January 8, 2023 22:47
@filiph
Copy link
Owner

filiph commented Jan 9, 2023

Sweet! The PR is still marked as WIP, so I'll wait. I also assume there are no true semantic changes so I don't plan to review line-by-line. If there are some changes I should have a look at, please direct me to those files.

@parlough parlough marked this pull request as ready for review January 9, 2023 11:02
@parlough
Copy link
Collaborator Author

parlough commented Jan 9, 2023

No semantic changes, just a few minor name changes :)

@parlough parlough requested a review from filiph January 9, 2023 11:02
Copy link
Owner

@filiph filiph left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@filiph filiph merged commit 2fb1e27 into filiph:master Jan 9, 2023
@parlough parlough deleted the misc/add-lints-for-consistency branch January 9, 2023 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants