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