[quietbritishjim]

I think they were replying to a different bit of the parent comment than you seem to think:

> ... what would Linux be when Linus decides to step away?

[swagonomixxx]

I think it was a fair reply. Linus's contributions to Git, while basically 100% of the project initially, were not sustained over as long as Antirez's contributions to Redis.