I'm not familiar enough with Mercurial to properly vote, but am guessing we'll move to Git. Git is popular because Github is popular, and Github is popular because it's awesome.
But I think we should skip git.php.net and mirrors/bridges, and simply move to Github. And this means people who maintain Git for a living would maintain it, while we can focus on developing PHP. Regards, Philip -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php