Since I'm not sure who has permissions for that, I'm writing this here...
I'd like to request some SSH credentials for the server where pear2.php.net
is at. In particular I'd like to be able to "git push" to it, not just push
to GitHub (Which I already can; Thanks cweiske), though I'm also thinking
of maybe making a hook script for clearing the cache on successful pushes,
as the cache isn't always invalidated properly, leaving the page look
different than what Pyrus/PEAR reports.
Also, one other thing... For a while now, the pyrus.net domain has been...
well... expired, let's say. I can't say I'm surprised (for a number of
reasons...), but considering the dev tools are supposed to be available
from it, should we maybe consider moving all of Pyrus's stuff back into the
PEAR2 organization, and make it available from the pear2.php.net site? Or
maybe get pyrus.php.net to be a separate PHP channel and site (as opposed
to it being an alias of pear.php.net, as is the case now)?