[pkg-php-pear] Please, push pkg-php-tools Git commits

[Mathieu Parent]

2014-08-30 19:46 GMT+02:00 David Prévot <taffit at debian.org>:
> Hi Mathieu,
>
> It looks like the latests pkg-php-tools commits and tags have not been
> pushed to the Git repository, thanks in advance for fixing that (and
> thanks a lot for working on this very useful tool making our daily life
> way easier).

Sorry about that.This is the advantage and drawback of using a
distributed VCS. <joke>Maybe we should use CVS instead?</joke>

Thanks for your bug report.

Cheers.
-- 
Mathieu