On Tue, Apr 14, 2015 at 7:04 PM, Gennady Feldman <gen...@gmail.com> wrote: > Hi Pierre, > > What about adding me to https://github.com/php/pecl-tools-stomp I can't > merge the PRs otherwise? Or am I missing something? >
https://qa.php.net/pulls/ https://github.com/php/pecl-tools-stomp is only a mirror of http://git.php.net/?p=pecl/tools/stomp.git;a=summary You can still use the GitHub PRs and merge them manually though -- the instructions are at the bottom near "You can also merge branches on the command line." Or, if you don't want to use the command line, you can use the interface on qaweb I linked to above. -Hannes -- PECL development discussion Mailing List (http://pecl.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
