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

Add helpers to stop and start metrics/profile servers #841

Merged
merged 2 commits into from
Feb 2, 2024

Conversation

skitt
Copy link
Member

@skitt skitt commented Jan 31, 2024

These are used throughout the Submariner project.

@submariner-bot
Copy link
Contributor

🤖 Created branch: z_pr841/skitt/metrics-profile-server

@skitt skitt force-pushed the metrics-profile-server branch from 53ebb42 to 4501897 Compare February 1, 2024 13:45
@skitt skitt requested a review from tpantelis February 1, 2024 13:46
@skitt skitt force-pushed the metrics-profile-server branch from 4501897 to 3d42476 Compare February 1, 2024 14:42
These are used throughout the Submariner project.

Signed-off-by: Stephen Kitt <[email protected]>
@skitt skitt force-pushed the metrics-profile-server branch from 204c1de to 25ceb1d Compare February 1, 2024 16:11
@tpantelis tpantelis enabled auto-merge (rebase) February 2, 2024 12:50
@tpantelis tpantelis merged commit 437b20a into submariner-io:devel Feb 2, 2024
16 checks passed
@submariner-bot
Copy link
Contributor

🤖 Closed branches: [z_pr841/skitt/metrics-profile-server]

@dfarrell07
Copy link
Member

Do we want to backport this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants