Noone has github karma to push into the github repo because thats a mirror.
You can however merge the pull request to your local fork and then push it to git.php.net and reference the github pr, and github will automatically close it. See the instructions on https://qa.php.net/pulls/ -Hannes On Wed, Sep 10, 2014 at 12:39 PM, Stelian Mocanita <[email protected]> wrote: > Hannes, I do not have github karma to merge that in. Is there a place one > should apply that is not covered by the php git server? > > > On Wed, Sep 10, 2014 at 9:28 PM, Hannes Magnusson > <[email protected]> wrote: >> >> Any of you looking at the PR? >> https://github.com/php/web-php/pull/51 >> >> -Hannes >> >> >> On Wed, Aug 27, 2014 at 12:32 PM, Hannes Magnusson >> <[email protected]> wrote: >> > Thanks! >> > Approved & karma granted. >> > >> > -Hannes >> > >> > >> > On Wed, Aug 27, 2014 at 12:27 PM, Eli <[email protected]> wrote: >> >> Hannes, I went ahead and joined the mailing list now. And I issued the >> >> request for the Git account. >> >> >> >> Thanks, >> >> Eli >> >> >> >> On 8/27/14, 3:16 PM, Eli wrote: >> >>> Hannes - Happy to help out. I will fill out that form, and issue a >> >>> subscribe request to php-webmaster. >> >>> >> >>> Eli >> >>> -- >> >>> | Eli White | http://eliw.com/ | Twitter: EliW | >> >> > > -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
