On Wed, 2013-02-13 at 18:37 +0100, Lars Strojny wrote:
> Hi Johannes,
>
> quick question: does it automatically open bug reports for each PR?
No, for two reasons:
A. Github provides no good notification mechanism for that, we'd
have to pull periodically and match it and so on
B.
Hi Johannes,
quick question: does it automatically open bug reports for each PR?
Am 13.02.2013 um 17:03 schrieb Johannes Schlüter :
> Hi,
>
> with Felipe's help I've just added the second pull request management
> tool to mange pull requests.
>
> The first one is https://qa.php.net/pulls/ this
On Wed, Feb 13, 2013 at 11:03 AM, Johannes Schlüter
wrote:
> Hi,
>
> with Felipe's help I've just added the second pull request management
> tool to mange pull requests.
>
> The first one is https://qa.php.net/pulls/ this allows any php.net
> developer to close pull requests on github, without us
