Le Sat, 18 Apr 2015 11:20:59 +0200, Nathann Cohen <[email protected]> a écrit :
> Hello, > > > We somehow have to come to a conclusion. > +1 > > > Never change positive_review_tickets (and adapt developer guide, > > see #18228) > -1 > > > Cool-off period > +0.5 > > Freezing tickets once release manager starts merging them > > (various variants proposed: > > - post a comment > +1 > > - change status to closed > +1 > > - some new status) > +0 (I don't see how to add a new 'status' in trac) > > I don't mind implementing the trigger if somebody can tell me where it > is to be written. > > Nathann > May I notice that : (1) the ticket is in stage needs_review or positive_review ; (2) what is actually reviewed is a precise commit in a git branch ; (3) nothing forces the ticket and the branch to be synchronized. so you might discuss things as much as you want, decide whatever you want : it's going to be a pain as long as the above three points stand! Snark on #sagemath -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
