Comment by pledg

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