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

Cleanup server REST API #202

Merged
merged 1 commit into from
Jun 9, 2023
Merged

Cleanup server REST API #202

merged 1 commit into from
Jun 9, 2023

Conversation

rdnt
Copy link
Owner

@rdnt rdnt commented Jun 9, 2023

…metrics back

@rdnt rdnt changed the title Cleanup server's rest api, add root and health paths, add prometheus … Cleanup server REST API Jun 9, 2023
@rdnt rdnt merged commit e7b1601 into main Jun 9, 2023
@rdnt rdnt deleted the cleanup-server-rest-api branch June 9, 2023 13:40
rdnt added a commit that referenced this pull request Aug 30, 2023
Former-commit-id: e7b1601
Former-commit-id: c4dbb8c9e3483a6278f5b4b7ff615250ef048ec9
rdnt added a commit that referenced this pull request Aug 30, 2023
Former-commit-id: bcf6b5920634b345b65aad0d4baefbf5ca6063c9 [formerly e7b1601]
Former-commit-id: c4dbb8c9e3483a6278f5b4b7ff615250ef048ec9
Former-commit-id: f233b94
rdnt added a commit that referenced this pull request Aug 30, 2023
Former-commit-id: bcf6b5920634b345b65aad0d4baefbf5ca6063c9 [formerly a8bca9fa76ca03cda327116fbb3f1cbbf4dd307f]
Former-commit-id: c4dbb8c9e3483a6278f5b4b7ff615250ef048ec9
Former-commit-id: f233b94
Former-commit-id: 7f09e021f4644c4694360dc160f3e5c05613daf9
rdnt added a commit that referenced this pull request Aug 30, 2023
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.

1 participant