On 19/04/12 16:58, David Nadlinger wrote:
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.
If that is so, then this thread is invalid -- the number of open pull
requests is not a useful metric.
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,
Is it? I can't see any method for dealing with patches that aren't
merged immediately.
We have bugzilla as a priority system for bugs without patches, github
works for submitting patches, and a great infrastructure for testing the
compiler after patches are merged (thanks Brad!) but the patch
evaluation step (specifically, the "code review" part) is missing.
