Skip to content

RMI CLI tools - initial#21

Merged
n0531m merged 1 commit intomainfrom
update-rmi-cli-tools-20260206-170453
Feb 10, 2026
Merged

RMI CLI tools - initial#21
n0531m merged 1 commit intomainfrom
update-rmi-cli-tools-20260206-170453

Conversation

@n0531m
Copy link
Copy Markdown
Collaborator

@n0531m n0531m commented Feb 6, 2026

@anubis05 please help to review initial PR for RMI cli tools.

@n0531m n0531m requested a review from anubis05 February 7, 2026 06:49
@n0531m
Copy link
Copy Markdown
Collaborator Author

n0531m commented Feb 10, 2026

@henrikvalv3 would you be able to review this one?

@henrikvalv3 henrikvalv3 requested review from henrikvalv3 and removed request for anubis05 February 10, 2026 17:07
Copy link
Copy Markdown
Collaborator

@henrikvalv3 henrikvalv3 left a comment

Choose a reason for hiding this comment

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

@n0531m LGTM

@n0531m n0531m merged commit 79c83ed into main Feb 10, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants