>>> > pear.php.net and pecl.php.net will soon (2 days?) be switched to the new >>> > server. >>> I thought you will move only pear, no? >> PEAR and PECL databases are the same, plus pb12 will be used by the doc team >> once we moved - that's the reason both domains move. > > The plan was to split both, I was never aware that pb12 will be used > by the doc team and I'm reluctant to move pecl now or later. What kind > of host does the doc team need? Or I suggest to wait until we update > pecl (win support and other major changes) to do the move.
To summarize discussions from IRC: - pear.php.net will move to euk1.php.net - pecl.php.net will stay where it is for now - oti1.php.net will take over the regular docs.php.net manual builds, and move the rendered content to docs.php.net every other hour (yeah, that means 12 builds for _each_ translation _each_ day - with the possibility of increasing it to 24...) - (we are also working on getting PDF builds onto oti1.php.net to be pushed to rsync.php.net every Friday (just like the CHMs), kudos to Pierre) - in ~1month pecl.php.net will move to a new box (probably the same as wiki.php.net?) - in ~1month docs.php.net and doc.php.net will move to pb12.php.net ( when pecl.php.net has been moved). For pearweb and peclweb this essentially means that you can go in whatever directions you want, without being dependent upon each other. -Hannes
