[php-maint] GH mirror

[Ondřej Surý]

Hi, I have setup a push-only github mirror of php.git here:

https://github.com/pkg-php/php

Feel free to ask to join the pkg-php on GH, and or add more git mirrors
(look in <repo>.git/config and <repo>.git/hooks/post-receive for simple
howto).

The primary site is still git.debian.org, but this might make
contributions for random people simpler.

Cheers,
-- 
Ondřej Surý <ondrej at sury.org>
Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server