Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Brian Anderson
On 02/05/2013 11:27 AM, Tim Chevalier wrote: On Tue, Feb 5, 2013 at 11:26 AM, Brian Anderson wrote: On 02/05/2013 11:17 AM, Graydon Hoare wrote: On 13-02-05 11:03 AM, Brian Anderson wrote: On 02/05/2013 10:59 AM, Patrick Walton wrote: On 2/5/13 10:59 AM, Brian Anderson wrote: I suggested re

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Tim Chevalier
On Tue, Feb 5, 2013 at 11:26 AM, Brian Anderson wrote: > On 02/05/2013 11:17 AM, Graydon Hoare wrote: >> >> On 13-02-05 11:03 AM, Brian Anderson wrote: >>> >>> On 02/05/2013 10:59 AM, Patrick Walton wrote: On 2/5/13 10:59 AM, Brian Anderson wrote: > > I suggested removing a few t

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Brian Anderson
On 02/05/2013 11:17 AM, Graydon Hoare wrote: On 13-02-05 11:03 AM, Brian Anderson wrote: On 02/05/2013 10:59 AM, Patrick Walton wrote: On 2/5/13 10:59 AM, Brian Anderson wrote: I suggested removing a few that weren't being used much (classes, infer, kindchk, linearity, typestate). Is the divis

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Graydon Hoare
On 13-02-05 11:03 AM, Brian Anderson wrote: > On 02/05/2013 10:59 AM, Patrick Walton wrote: >> On 2/5/13 10:59 AM, Brian Anderson wrote: >>> I suggested removing a few that weren't being used much (classes, infer, >>> kindchk, linearity, typestate). Is the division here just wrong? After >>> removi

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Brian Anderson
On 02/05/2013 10:59 AM, Patrick Walton wrote: On 2/5/13 10:59 AM, Brian Anderson wrote: I suggested removing a few that weren't being used much (classes, infer, kindchk, linearity, typestate). Is the division here just wrong? After removing those I suggest it looks like just A-typesystem and A-r

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Patrick Walton
On 2/5/13 10:59 AM, Brian Anderson wrote: I suggested removing a few that weren't being used much (classes, infer, kindchk, linearity, typestate). Is the division here just wrong? After removing those I suggest it looks like just A-typesystem and A-regions remain. Are there hot areas in the type

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Brian Anderson
On 02/05/2013 10:53 AM, Tim Chevalier wrote: On Tue, Feb 5, 2013 at 10:52 AM, Tim Chevalier wrote: On Tue, Feb 5, 2013 at 10:50 AM, Brian Anderson wrote: Greetings, folks, There was some discussion about bug triage in the meeting today so I went to do some and was reminded of how frustrated

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Tim Chevalier
On Tue, Feb 5, 2013 at 10:52 AM, Tim Chevalier wrote: > On Tue, Feb 5, 2013 at 10:50 AM, Brian Anderson wrote: >> Greetings, folks, >> >> There was some discussion about bug triage in the meeting today so I went to >> do some and was reminded of how frustrated I get by our labels: there are a >>

Re: [rust-dev] GitHub label maintenance

2013-02-05 Thread Tim Chevalier
On Tue, Feb 5, 2013 at 10:50 AM, Brian Anderson wrote: > Greetings, folks, > > There was some discussion about bug triage in the meeting today so I went to > do some and was reminded of how frustrated I get by our labels: there are a > lot of them and I usually can't find an `A-` label that matche

[rust-dev] GitHub label maintenance

2013-02-05 Thread Brian Anderson
Greetings, folks, There was some discussion about bug triage in the meeting today so I went to do some and was reminded of how frustrated I get by our labels: there are a lot of them and I usually can't find an `A-` label that matches the bug. I have some proposals here to remove a lot of them