style(router): document Redis flush batch

This commit is contained in:
Emerson Gomes 2026-08-12 13:52:13 -05:00
parent e7e61b1810
commit bd34801d2c
No known key found for this signature in database
GPG key ID: D3DF28AB5D1B5E17

View file

@ -532,7 +532,7 @@ class RouterBudgetLimiting(CustomLogger):
Only runs if Redis is initialized
"""
increment_operations_to_flush: list[
increment_operations_to_flush: list[ # mutable-ok: Redis pipeline contract requires a concrete mutable batch
RedisPipelineIncrementOperation
] = ( # mutable-ok: Redis pipeline contract requires a list batch
[] # mutable-ok: Redis pipeline batches are lists