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

[Daniel Murphy]

"Idan Arye" <GenericNPC at gmail.com> wrote in message 
news:eltfkesxpdjgjesrljbm at forum.dlang.org...
> According to the description of the Bugzilla service hook on GitHub, it 
> can automatically close bugs via pull requests, but only since version 4.0 
> of Bugzilla - and the one on d.puremagic is only 3.4.1. I have no idea 
> what it takes to upgrade a Bugzilla - but the benefit of automatically 
> closing bugs would probably justify it.
>

Quite often bug reports need to be reviewed before being closed. (At least 
for dmd)

> Anyways, why keep using Bugzilla instead of GitHub issues?

Last I checked github issues still can't do some basic things like moving 
bugs between components, you can find lists online.  I'm sure they will 
improve this in the future...