Skip to content

Conversation

@KievDevel
Copy link
Contributor

No description provided.

@github-actions
Copy link

Add labels:

  • 'doc required' or 'doc not required'
  • 'ui required' or 'ui not required'

For UI review:

  • describe the changes
  • add pictures
  • add the relevant UI responsible(s) as a reviewer

@KievDevel KievDevel added doc not required All PRs either need "doc required" or "doc not required". ui not required All PRs either need "ui required" or "ui not required". labels Nov 14, 2025
@KievDevel KievDevel merged commit e22a6d4 into main Nov 14, 2025
4 of 5 checks passed
@KievDevel KievDevel deleted the update-shared-to-239 branch November 14, 2025 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc not required All PRs either need "doc required" or "doc not required". ui not required All PRs either need "ui required" or "ui not required".

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants