Skip to content

Conversation

@jogu
Copy link
Contributor

@jogu jogu commented Sep 22, 2025

closes #273

@jogu jogu added editorial has-at-least-3-approvals PRs that have the normal 3 approvals we require labels Sep 25, 2025
@jogu jogu merged commit 3ee597a into main Sep 30, 2025
2 checks passed
@Sakurann Sakurann added this to the 1.0 Final milestone Oct 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editorial has-at-least-3-approvals PRs that have the normal 3 approvals we require

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Definition of Terminology

5 participants