PHP_LexerGenerator Repository

Hi,

I'm currently using the PHP_LexerGenerator with a couple of modifications
and I would like to see these integrated into the package. I've noticed
that there is a PHP_LexerGenerator repository on GitHub (
https://github.com/pear/PHP_LexerGenerator), but it is currently empty. Are
there any plans to move the existing SVN repository to GitHub? (Or is this
the wrong place to ask, and should I contact the maintainer?)

Kind Regards,
-- Paul