Skip to content

Conversation

@arska
Copy link
Member

@arska arska commented Feb 2, 2026

And corrected grammar and punctuation throughout the document while having the document open

Summary

Checklist

  • Try to isolate changes into separate PRs (to build a better changelog).
  • Categorize the PR by setting a good title and adding one of the labels:
    change, decision, requirement/quality, requirement/functional, dependency
    as they show up in the changelog
  • Link this PR to related issues if applicable.

And corrected grammar and punctuation throughout the document while having the document open
@arska arska requested a review from zugao February 2, 2026 09:59
@arska arska self-assigned this Feb 2, 2026
@arska arska added the documentation Improvements or additions to documentation label Feb 2, 2026
Copy link
Contributor

@zugao zugao left a comment

Choose a reason for hiding this comment

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

Thanks for opening a PR.

@arska arska merged commit e7ef765 into master Feb 2, 2026
1 check failed
@arska arska deleted the arska-patch-1 branch February 2, 2026 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants