Hi Greg -

I do have to say, I passionately hate git, but if you see a benefit in moving to github, and you're willing to do the move, then I'd be fine with that.

:)