Hacker News Reader

I'm pretty sure it's a case of Codeplex is going through a massive overhaul[1]. The addition of git support seems to be the first step.

[1] here's a preview of the new look they are moving to: http://blogs.msdn.com/b/codeplex/archive/2012/03/30/new-code...

They are trying to garner good will from the community, it's only logical that they choose whatever is most popular right now.

Redis is hosted on Github. Most users of Redis are on Github, too. So if MS wants to exchange code back and forth between their fork and the original, it makes sense to host their code on Github, too. A pull request is much more friendly than "Hey, check out my Codeplex", even if antirez decides not to merge the changes.