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
Dev Docs: Style Guide #308
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Some minor comments - btw, I think you can click on "commit suggestion" or "add suggestion to batch" directly on GH to apply these, might be faster than manually doing each change (never tried it though so I'm not sure)
Never noticed there was an option to batch them.... Always avoided committing from suggestions like this so I didn't clutter the commit history, but that's a nice feature. You win this one gh. |
Co-authored-by: Riccardo Di Maio <35903974+rdimaio@users.noreply.github.com>
Yeah, I thought it would be worth doing that and then doing "Squash and merge" when closing the PR, so that we'd end up with a single commit anyway, but it seems that it's not possible for this repo: @bari12 is there a reason this feature is not available in this repo? It's available for the |
Temporarily dismissing approval to see if we can enable "squash and merge" for this repo, so we can end up with a single commit
query = session.execute(statement).scalars() | ||
for column_a, column_b in query: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This PR warranted additional discussion. This particular example isn’t even functional!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I re-opened #287, we can track follow-up comments on there and address them
ignore this: fcdde46 - was just testing what GH did when you press revert on the PR |
Additions: