Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

chore(*): use hyphen to connect ctl output headers #3026

Merged
merged 1 commit into from
Mar 28, 2025
Merged

chore(*): use hyphen to connect ctl output headers #3026

merged 1 commit into from
Mar 28, 2025

Conversation

lsytj0413
Copy link
Contributor

No description provided.

pcholakov
pcholakov approved these changes Mar 28, 2025
View reviewed changes
Copy link
Contributor

@pcholakov pcholakov left a comment

Choose a reason for hiding this comment

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

Thanks, Songlin Yang!

@AhmedSoliman AhmedSoliman merged commit 3c19937 into restatedev:main Mar 28, 2025
25 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 28, 2025
@lsytj0413 lsytj0413 deleted the rename-ctl-output-header branch March 28, 2025 12:34
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Reviewers

@pcholakov pcholakov pcholakov approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@lsytj0413 @pcholakov @AhmedSoliman