Github or not?

We have seen little movement on anything for a while.  Could I get a
simple yay/nay on moving things forward with Github?  No need for
long-winded diatribes, just a gut-feeling yay or nay either way is fine.

If we do decide to go down this road, we will need to think quite a bit
about how we map our current workflow to Github.  I think this would
include an easy to follow page on how you do common things with git and
github, and perhaps even some screencasts.

There are 35 subscribers here.  We have only heard from a handful so
far.  Hoping for a few more responses this time.

-Rasmus