how to handle pear channel name & url change

[Christof Damian <christof@xxxxxxxxxx>]

Hello,
the newest version of Doctrine (1.2.2) depends on the channel
pear.doctrine-project.org instead of pear.phpdoctrine.org. The
channel.xml file has also changed.

I would like to know what the best way to handle it. It is easy enough
to change the php-channel-doctrine package to use the new names, but
then the old channel will still be registered.

I also can't just delete the old channel, because the old Doctrine
still hangs around in that channel before the both the channel and
Doctrine are updated.

Any suggestions?

Cheers,
Christof
_______________________________________________
php-devel mailing list
php-devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/php-devel