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

Jetty metrics for solr6 #61

Merged
merged 10 commits into from
Jan 12, 2021
Merged

Jetty metrics for solr6 #61

merged 10 commits into from
Jan 12, 2021

Conversation

anghelutar
Copy link
Contributor

No description provided.

@anghelutar anghelutar marked this pull request as draft January 7, 2021 11:45
@anghelutar anghelutar requested review from vierbergenlars and removed request for vierbergenlars January 7, 2021 11:46
@anghelutar anghelutar marked this pull request as ready for review January 11, 2021 09:16
tgeens
tgeens approved these changes Jan 12, 2021
View reviewed changes
Copy link
Contributor

@tgeens tgeens left a comment

Choose a reason for hiding this comment

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

👍 for me

only a proper PR title is missing

@anghelutar anghelutar changed the title Jetty metrics WIP Jetty metrics for solr Jan 12, 2021
@anghelutar anghelutar changed the title Jetty metrics for solr Jetty metrics for solr6 Jan 12, 2021
@anghelutar anghelutar merged commit a1bb5dd into master Jan 12, 2021
@anghelutar anghelutar deleted the jetty-metrics branch January 12, 2021 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tgeens tgeens tgeens approved these changes

@vierbergenlars vierbergenlars vierbergenlars approved these changes

@kerkhofsd kerkhofsd Awaiting requested review from kerkhofsd

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
@anghelutar @tgeens @vierbergenlars