3 ms·

Any case you could share a link to one of these, if possible? A matter of curiosity.

• __s 9y ago
  First PR I saw on redis GH: https://github.com/antirez/redis/pull/4714 https://github.com/antirez/redis/pull/4714 That same user also made https://github.com/antirez/redis/pull/4685 https://github.com/antirez/redis/pull/4685 This may be? https://github.com/antirez/redis/pull/4622 https://github.com/antirez/redis/pull/4622 This was apparently critical, but also kind of an edgecase: https://github.com/antirez/redis/pull/4568 https://github.com/antirez/redis/pull/4568 & one more from someone else: https://github.com/antirez/redis/pull/4568 https://github.com/antirez/redis/pull/4568
• antirez 9y ago
  Probably soloestoy recently (but he also does a lot of Real world Redis) and Sun He in the past hold the records, but there are several...