Skip to content
New issue

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

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

Already on GitHub? # to your account

Improvements to docs on scope #1676

Merged
merged 8 commits into from
Jan 6, 2025
Merged

Improvements to docs on scope #1676

merged 8 commits into from
Jan 6, 2025

Conversation

aantn
Copy link
Collaborator

@aantn aantn commented Jan 4, 2025

I've tried to improve the readability of this section, and to introduce concepts in a more logical and incremental fashion. It's worth proof-reading the examples carefully to make sure I haven't inadvertantly broken something.

@aantn aantn requested a review from arikalon1 January 4, 2025 19:12
Copy link
Contributor

@arikalon1 arikalon1 left a comment

Choose a reason for hiding this comment

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

LGTM

@aantn aantn merged commit 62e8755 into master Jan 6, 2025
5 of 7 checks passed
@aantn aantn deleted the docs/scope-improvements branch January 6, 2025 12:48
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants