Redis-py typing issue open since 2022 | Dark Hacker News