Skip to content

Conversation

@hko-s
Copy link
Contributor

@hko-s hko-s commented Aug 29, 2025

No description provided.

@hko-s hko-s marked this pull request as draft August 29, 2025 18:49
@dvzrv dvzrv self-assigned this Aug 29, 2025
@dvzrv dvzrv added the documentation Improvements or additions to documentation label Aug 29, 2025
@Foxboron
Copy link
Member

@hko-s Any reason for this to be marked as draft?

@hko-s hko-s marked this pull request as ready for review September 23, 2025 17:41
@hko-s
Copy link
Contributor Author

hko-s commented Sep 23, 2025

Thanks for the ping. At the time I assumed more stuff might come up, and wanted to wait. Then I lost track.
Happy to see this merged whenever.

@Foxboron
Copy link
Member

@hko-s rebase and I think it should be fine. Unless @dvzrv wants to approve.

@hko-s
Copy link
Contributor Author

hko-s commented Sep 23, 2025

@hko-s rebase and I think it should be fine. Unless @dvzrv wants to approve.

Thanks, I pushed a rebased version. I don't think this needs approval, it's a trivial change.

@Foxboron Foxboron merged commit c908c28 into uapi-group:main Sep 23, 2025
1 check passed
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

Development

Successfully merging this pull request may close these issues.

3 participants