[PHP-WEBMASTER] com web/people: short-circuit this for now: include/karma.php

Commit:467e34ec685989b236008d0318c5a303de77e885 Author:Rasmus Lerdorf Sun, 10 Nov 2013 21:41:34 -0800 Parents: a835cd974264af28ee58b106023acec843646e37 Branches: master Link: http://git.php.net/?p=web/people.git;a=commitdiff;h=467e34ec685989b236008d0318c5a303de77e885 L

[PHP-WEBMASTER] [PHP-BUG] Bug #66074 [NEW]: qa.php.net can't update php-src pull requests

From: aharvey Operating system: Irrelevant PHP version: Irrelevant Package: Website problem Bug Type: Bug Bug description:qa.php.net can't update php-src pull requests Description: Updating php-src pull requests via the Web interface at qa.php.net cur