[shprd]

Right, but the question is concerned with the number of maintainers. The people who play some role, not just passing by.

Redis team consists of 8 people: https://github.com/orgs/redis/people