Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rename metrics command eid-metrics #1128

Closed
YamatoSecurity opened this issue Jul 12, 2023 · 0 comments · Fixed by #1129
Closed

rename metrics command eid-metrics #1128

YamatoSecurity opened this issue Jul 12, 2023 · 0 comments · Fixed by #1129
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@YamatoSecurity
Copy link
Collaborator

I want to rename the metrics command to eid-metrics because we added a computer-metrics command so it will be more consistent.

@YamatoSecurity YamatoSecurity added this to the v2.7.0 milestone Jul 12, 2023
@hitenkoku hitenkoku self-assigned this Jul 13, 2023
@hitenkoku hitenkoku added the enhancement New feature or request label Jul 13, 2023
hitenkoku added a commit that referenced this issue Jul 13, 2023
@hitenkoku hitenkoku linked a pull request Jul 13, 2023 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants