Skip to content

Conversation

adiholden
Copy link
Contributor

the bug: when command is renamed we show the rename command in command stats
the fix: print the origin command name in command stats
fixes #1756

the bug: when command is renamed we show the rename command in command
stats
the fix: print the origin command name in command stats

Signed-off-by: adi_holden <[email protected]>
@adiholden adiholden requested a review from royjacobson August 29, 2023 11:28
@adiholden adiholden enabled auto-merge (squash) August 29, 2023 11:31
@adiholden adiholden merged commit d964325 into main Aug 29, 2023
@adiholden adiholden deleted the cmd_stats_rename branch August 29, 2023 11:53
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.

info command command name should be the origin when rename_command applied
2 participants