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

[Jesse Phillips]

On Friday, 10 May 2013 at 11:00:08 UTC, Jacob Carlborg wrote:
> Github can handle this. You can assign people to a pull request 
> and add labels to indicate different statuses or whatever you 
> want them to mean. At least I think you can add labels to pull 
> requests. I don't currently have any open pull request for any 
> of my projects so I cannot test it.

I believe only issues could have labels applied. Which is fine 
for those using issues since the pull will create an issue.