One of my favorite bits of trivia: What would Git be like if Linus stepped away? Oh yeah, he stepped away after a few months and Junio Hamano continued running it for the next 15 years[1] (!!).
In just the last 90 days, he accounted for 50% of the code that is being changed in redis. I'm currently indexing the Git repository, as I'm curious to see the impact Linus had before he left, but I don't think Linus leaving, is anything like antirez leaving.
Sorry if this post comes of confrontational, as that is not its intention. I just don't understand what comparison you are trying to make.
> ... what would Linux be when Linus decides to step away?
Antirez, on the other hand, has had a large part in the continued development of Redis since it's inception, so like, 11 years or so (2009).
AFAIK, apart from UI improvements over the years, Git has _largely_ been the same since inception, in that you can watch a video as far back as e.g https://youtu.be/4XpnKHJAok8 and not much has really changed since those days (by the time Linus gave that prez, Junio already started running the project).