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

Replace CDI with Micrometer global #30

Merged
merged 1 commit into from
Apr 25, 2023
Merged

Replace CDI with Micrometer global #30

merged 1 commit into from
Apr 25, 2023

Conversation

sschnabe
Copy link
Member

No description provided.

@sschnabe sschnabe added the enhancement New feature or request label Apr 24, 2023
@sschnabe sschnabe self-assigned this Apr 24, 2023
@sschnabe sschnabe enabled auto-merge (squash) April 24, 2023 14:21
@sschnabe sschnabe disabled auto-merge April 24, 2023 14:25
@sschnabe sschnabe merged commit 566f31d into main Apr 25, 2023
@sschnabe sschnabe deleted the micrometer branch April 25, 2023 06:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fabian-schlegel fabian-schlegel fabian-schlegel approved these changes

@rpahli rpahli Awaiting requested review from rpahli rpahli is a code owner

@jschwarze jschwarze Awaiting requested review from jschwarze jschwarze is a code owner

@wistefan wistefan Awaiting requested review from wistefan wistefan is a code owner

@monotek monotek Awaiting requested review from monotek monotek is a code owner

Assignees

@sschnabe sschnabe

Labels
enhancement New feature or request
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@sschnabe @fabian-schlegel