-
Notifications
You must be signed in to change notification settings - Fork 184
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
More small code style improvements #2557
Conversation
(rewrote history to merge linting fixing into respective commits) |
Ah sorry it was @predragnikolic who "destroyed" the commit history. But nevermind, I would probably also have squashed the commits. I think we can leave it like that, these changes were really small and I don't think anybody will want to look up these individual changes in the future. |
Yeah, my intention was to merge them as separate commits but will keep as is then. |
BTW. You can have your branches directly in this repo if you'd prefer that. |
To be honest I kind of prefer using a personal remote repo. There are already various stale branches in this repo. But I guess it would make it easier for you to quickly checkout my branches or add changes if I would push directly to this repo... I'll think about it. |
Choosing "squash and merge" was a bad decision on my part. Sorry for the inconvenience and effort that @rchl did to group commits. |
... continuing from #2537.
There should be no functional change.