Re: [sage-devel] Re: Closing tickets

2011-11-19 Thread Jeroen Demeyer
On 2011-11-19 09:15, Simon King wrote: > NEVER close a ticket, unless you are release manager. > > In particular, DO NOT change the resolution into "won't fix" or > "duplicate". Instead, write in a commend that you suggest that the > release manager choses that resolution, put it "positive review"

[sage-devel] Re: Closing tickets

2011-11-19 Thread Simon King
Hi! On 19 Nov., 04:52, Keshav Kini wrote: > I was told to set the ticket to Positive Review, as it catches Jeroen's > eye. Maybe that's not the correct thing to do, though. Yes, so I was told as well: NEVER close a ticket, unless you are release manager. In particular, DO NOT change the resolu

[sage-devel] Re: Closing tickets

2011-11-18 Thread Keshav Kini
I was told to set the ticket to Positive Review, as it catches Jeroen's eye. Maybe that's not the correct thing to do, though. -Keshav Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an

Re: [sage-devel] Re: Closing tickets

2011-01-07 Thread Nathann Cohen
> So I'm not so convinced it is a good idea to let the original person close > the ticket. Let's drop it then :-) Nathann -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more opt

Re: [sage-devel] Re: Closing tickets

2011-01-07 Thread Dr. David Kirkby
On 01/ 7/11 04:07 PM, Nathann Cohen wrote: Could the ticket creator be granted the right to close it ? It happens really often that I create a ticket, then write the actual patches weeks (months) afterwards, having long forgotten about the first ticket. Alternatively, when a patch is written as a

[sage-devel] Re: Closing tickets

2011-01-07 Thread Nathann Cohen
Could the ticket creator be granted the right to close it ? It happens really often that I create a ticket, then write the actual patches weeks (months) afterwards, having long forgotten about the first ticket. Alternatively, when a patch is written as a part of another one Well, if we have

[sage-devel] Re: Closing tickets

2011-01-07 Thread daveloeffler
On Jan 7, 1:48 pm, koffie wrote: > In several places in the documentation it says you shouldn't close > tickets if you have never done the release management. > > Since it's so trivial to fix maybe we should change the needed rights > to change the > status to prevent someone unknowing to close