Skip to content

ref(metrics): Add redis pool metrics#47

Merged
IanWoodard merged 1 commit intomainfrom
ianwoodard/infreng-184-add-redis-pool-metrics
Nov 19, 2025
Merged

ref(metrics): Add redis pool metrics#47
IanWoodard merged 1 commit intomainfrom
ianwoodard/infreng-184-add-redis-pool-metrics

Conversation

@IanWoodard
Copy link
Contributor

Adding Redis connection pool metrics (max_size, size, available, and active) to monitor pool utilization and detect exhaustion. Background task reports metrics every 10s in both gateway and publish services.

@IanWoodard IanWoodard requested a review from a team November 19, 2025 17:09
@linear
Copy link

linear bot commented Nov 19, 2025

@IanWoodard IanWoodard merged commit d310363 into main Nov 19, 2025
21 checks passed
@IanWoodard IanWoodard deleted the ianwoodard/infreng-184-add-redis-pool-metrics branch November 19, 2025 18:13
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