Moving php-src to GitHub

Howdy all,

I wanted to test the water for this and see what people think.  I saw  
a lot of discussion that seems positive and only a few concerns, but  
most of them were misunderstandings and/or references to older  
versions of Git.  Of course, I'm an apologist and have a vested  
interest in more people wanting to learn Git, but I'm all for making  
the switch.  What does everyone else think?

If everyone else is on board, what's the process forward?  Is this  
something that's to be dictated, should it be brought up on internals  
for a vote, or is there some other option?  I'm coming up on some  
newly found free time and would love to help drive this forward as  
much as I can, both in getting the repository setup, working with the  
guys at GitHub to get everything setup there, and/or getting  
documentation in place for new users.

-T