Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:65804
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain schlueters.de from 217.114.211.66 cause and error)
To: Lars Strojny <lars@strojny.net>
Cc: PHP internals list <internals@lists.php.net>
In-Reply-To: <9D7F4F72-FB97-4606-9AA5-10C3C6D3D467@strojny.net>
References: <1360771381.2694.24.camel@guybrush>
	 <9D7F4F72-FB97-4606-9AA5-10C3C6D3D467@strojny.net>
Content-Type: text/plain; charset="UTF-8"
Date: Wed, 13 Feb 2013 19:03:48 +0100
Message-ID: <1360778628.2694.33.camel@guybrush>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Github pull request management
From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=)

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. Many requests are written after bugs were opened, if it would
        open bugs automatically we'd have quite a few duplicates and
        discussion in three places (initial analysis on initial report,
        review discussion at github, final discussion at the new bug)

All this feature currently does is providing a "structured" (relational
database model, yay) way to link from a bug report to github.

I'm happy about any improvements being done, though (part of pushing
this is my hope to motivate some people to think about possibilities and
add better things)

johannes