[pledg]

There's 724 people listed as contributors on the redis GitHub.

[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