Earlier quoted context omitted.
Doesn't Redis Labs employ paid contributors? Does Amazon donate their contributions back to the community?
According to the linked article, Amazon has contributed 5% of the contributions to Redis, while Redis, the company, has contributed 20%.
Are we really counting contribution based on LoC? Haven't we over the decades decided that isn't valid? Guess every person that makes this claim should once again have their performance based on LoC...
Some simple examples, I'm not saying this is the case though. What if most of Amazon's contributions are high impact contributions where most of Redis orgs are simply maintenance or feature pushes. What if the same is true for a 1% contributor?
By your own statement doesn't Tencent then have a larger claim to redis that Amazon or Redis does?