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
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 having to manage
users on github and adding them to groups and all that
