DOTNET-5968 Add extra information to /metrics endpoint (SUP-5887)#228

Merged

gamingrobot merged 3 commits intomasterfrom extra-metrics

Nov 18, 2024

+130-11

Commits on Nov 14, 2024

Expose "IsLeader" in Telemetry metrics and /metrics endpoint
mattwarren
committed

Commits on Nov 15, 2024

Change metrics tag name from "IsLeader" -> "Operator.IsLeader"
mattwarren
committed
Add details statistics about the Process to /metrics endpoint
mattwarren
committed