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.

Sign up for GitHub

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

Jump to bottom

Highlight the existence of the /metrics endpoint #1117

Merged
merged 2 commits into from
Oct 4, 2023
Merged

Highlight the existence of the /metrics endpoint #1117

merged 2 commits into from
Oct 4, 2023

Conversation

candlerb
Copy link
Contributor

@candlerb candlerb commented Sep 1, 2023

No description provided.

electron0zero
electron0zero reviewed Oct 4, 2023
View reviewed changes
README.md Outdated Show resolved Hide resolved
@SuperQ SuperQ requested a review from electron0zero October 4, 2023 08:26
@electron0zero
Copy link
Member

thank you for your contribution 👏🏼

@electron0zero electron0zero merged commit e04a4d2 into prometheus:master Oct 4, 2023
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@electron0zero electron0zero electron0zero approved these changes

@SuperQ SuperQ SuperQ 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
@candlerb @electron0zero @SuperQ