[pkg-php-pear] pkg-php-tools hosted in the horde project, plus a small patch

[Thomas Goirand]

Hi Mathieu,

I've noticed that pkg-php-tools is hosted at:
git://git.debian.org/pkg-horde/pkg-php-tools.git

this doesn't make sense, if we are to use pkg-php-tools for all the PEAR
packages in Debian. It needs to be editable by all members of the
PKG-PEAR team, and not by the ones caring about horde (which I
personally don't care about anymore).

So I was wondering, could you move the Git repository to /git/pkg-php
instead of /git/pkg-horde?

Also, I've attached a small patch to remove warnings in some cases of
package.xml that were not handled by one of your script. Please apply it
to your Git repository, and eventually, comment on it if you think it's
wrong (it seemed to be working for me though...).

Cheers,

Thomas Goirand (zigo)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: phppkginfo_remove_warnings.patch
Type: text/x-diff
Size: 1418 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-php-pear/attachments/20120426/889c323c/attachment.patch>