Re: Github pull request management

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