Has anyone left github in light of what's come out? From the comment activity, I find it hard to believe that people don't take those issues seriously but I can't say I've heard of much of an exodus from it. There are tons of options too... And, ATMO, the more time between when anything else comes out (if it does) the less likely people are to care. Are there people on the fence that are going to move to another service if the founder isn't sacked or something?

I think you could easily look at Mozilla the same way. It's free software, there are tons of alternatives you can use and a lot of you probably already do and this was a personal donation... I hate to say it, but I think a lot of people sort of like to talk support for various issues up a bit more than actually doing things to support them. It's easier to get emotional and post some messages and tweets than it is to actually do something.