Remove types-redis from dev dependencies. The stubs target redis 4.6, while the project uses redis>=6.4.0 (currently 8.x) with built-in py.typed annotations.
Keeping both installed caused mypy to prefer outdated external stubs over redis-py's inline types, which are more accurate for the JSON APIs used in RedisAdapter (json().set/get/delete, RedisPath, etc.).
No runtime or application code changes. Mypy continues to rely on redis types via the existing uv sync --all-extras workflow.
Test plan
uv run mypy .
uv run ruff check .
uv run pytest tests/unit/ -m "not integration"
## Summary
Remove `types-redis` from dev dependencies. The stubs target redis 4.6, while the project uses `redis>=6.4.0` (currently 8.x) with built-in `py.typed` annotations.
Keeping both installed caused mypy to prefer outdated external stubs over redis-py's inline types, which are more accurate for the JSON APIs used in `RedisAdapter` (`json().set/get/delete`, `RedisPath`, etc.).
No runtime or application code changes. Mypy continues to rely on redis types via the existing `uv sync --all-extras` workflow.
## Test plan
- [x] `uv run mypy .`
- [x] `uv run ruff check .`
- [x] `uv run pytest tests/unit/ -m "not integration"`
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Summary
Remove
types-redisfrom dev dependencies. The stubs target redis 4.6, while the project usesredis>=6.4.0(currently 8.x) with built-inpy.typedannotations.Keeping both installed caused mypy to prefer outdated external stubs over redis-py's inline types, which are more accurate for the JSON APIs used in
RedisAdapter(json().set/get/delete,RedisPath, etc.).No runtime or application code changes. Mypy continues to rely on redis types via the existing
uv sync --all-extrasworkflow.Test plan
uv run mypy .uv run ruff check .uv run pytest tests/unit/ -m "not integration"Test Coverage Report: