[php-maint] Where did the git repository go?

[Thijs Kinkhorst]

Hi Ingo,

On Wed, December 11, 2013 12:59, Ingo Oeser wrote:
> I noticed that git://anonscm.debian.org/pkg-php/php.git seems to be gone.
> Did the hosting of it change? Where can I find the sources now?

What do you mean, 'gone'?
I've just successfully ran "git clone
git://anonscm.debian.org/pkg-php/php.git" here.


Thijs