Pull requests processing issue

[David Nadlinger]

On Wednesday, 18 April 2012 at 10:39:26 UTC, Don Clugston wrote:
> One problem is github. IMHO github's pull requests are quite 
> ridiculous, there is no way to prioritize them.

You can't blame GitHub for something we are not using it for – 
pull request, as far as we are using them, are just a tool to 
keep patches close to the source so that they can conveniently be 
reviewed and merged. Issue tracking, prioritization, etc. all 
happens on Bugzilla, and every pull request should have an 
accompanying »pull«-tagged Bugzilla entry.

The infrastructure is already there, Walter (and the rest of us) 
just need to use it more aggressively – and if not, determine 
what exactly is wrong with it in terms of productivity, instead 
of just randomly blaming our tools.

David