D pull request review process -- strawman formal definition, query for tools

[Jacob Carlborg]

On 2013-05-10 08:57, Lars T. Kyllingstad wrote:

> This seems to require yet another tool besides Bugzilla and GitHub,
> which I think we should avoid.  It's bad enough to have information in
> two places, without scattering it even more.  If we can somehow make it
> work within the current toolset, then I am all for it.

We could use labels on github for this.

-- 
/Jacob Carlborg