Skip to content

Conversation

@github-actions
Copy link
Contributor

Update maintainers and board status

  • synced status from the database
  • rename to .csc where we don't have anyone

If you want to become a board maintainer, adjust data here.

Ref:

@github-actions github-actions bot added the Work in progress Unfinished / work in progress label Oct 23, 2025
@coderabbitai
Copy link
Contributor

coderabbitai bot commented Oct 23, 2025

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Comment @coderabbitai help to get the list of available commands and usage tips.

@github-actions github-actions bot force-pushed the update-maintainers branch 5 times, most recently from fdc4446 to 7ae4e3a Compare October 26, 2025 01:36
@github-actions github-actions bot added the Ready to merge Reviewed, tested and ready for merge label Oct 27, 2025
@github-actions
Copy link
Contributor Author

✅ This PR has been reviewed and approved — all set for merge!

@github-actions github-actions bot added Work in progress Unfinished / work in progress and removed Work in progress Unfinished / work in progress labels Oct 27, 2025
@igorpecovnik igorpecovnik merged commit 28825b8 into main Oct 27, 2025
2 checks passed
@igorpecovnik igorpecovnik deleted the update-maintainers branch October 27, 2025 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Ready to merge Reviewed, tested and ready for merge Work in progress Unfinished / work in progress

Development

Successfully merging this pull request may close these issues.

2 participants