exactly, they want to keep their karma system. But a github mirror is not unlikely.

Oh, and that's the reason why the mail states that they'll now figure out how to move php-src to git.