Skip to content

Expose user level metrics from the server#4669

Merged
JamesMurkin merged 3 commits intomasterfrom
nikola-jokic/metrics-per-user
Feb 6, 2026
Merged

Expose user level metrics from the server#4669
JamesMurkin merged 3 commits intomasterfrom
nikola-jokic/metrics-per-user

Conversation

@nikola-jokic
Copy link
Contributor

What type of PR is this?

Enhancement

What this PR does / why we need it

Add metrics showing which user is sending requests to the API and is using the stream

Signed-off-by: Nikola Jokic <jokicnikola07@gmail.com>
Signed-off-by: Nikola Jokic <jokicnikola07@gmail.com>
@nikola-jokic nikola-jokic force-pushed the nikola-jokic/metrics-per-user branch from ef250bd to a81b179 Compare February 6, 2026 13:50
@JamesMurkin JamesMurkin enabled auto-merge (squash) February 6, 2026 15:24
@JamesMurkin JamesMurkin merged commit 5a0f670 into master Feb 6, 2026
15 checks passed
@JamesMurkin JamesMurkin deleted the nikola-jokic/metrics-per-user branch February 6, 2026 15:31
dslear pushed a commit to dslear/armada that referenced this pull request Feb 9, 2026
<!-- Thanks for sending a pull request! Here are some tips for you: -->

#### What type of PR is this?

Enhancement

#### What this PR does / why we need it

Add metrics showing which user is sending requests to the API and is
using the stream

---------

Signed-off-by: Nikola Jokic <jokicnikola07@gmail.com>
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.

2 participants