what's up with Redis? So many PRs could be quickly merged/closed: https://github.com/antirez/redis/pulls
758 open PRs sounds bad IMHO... (and I'm not even talking about the 1500+ issues, though that can be expected on a popular OSS project).
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!