Redis-py typing issue open since 2022 #1 Post by druml » Thu, Mar 05, 2026, 1:24 PM UTC Redis-py typing issue open since 2022github.com