Then open a new ticket. Which is exactly what you would do if the ticket has been switched to closed, so why is it impossible to do when it is positive_review?
On Thursday, April 16, 2015 at 7:58:32 AM UTC+2, Jeroen Demeyer wrote: > > On 2015-04-16 01:33, Nils Bruin wrote: > > The whole meaning of "positive review" goes out of > > the window if one still changes the branch on the ticket. > I disagree. It can easily happen that a problem is found after a ticket > was set to positive_review. Perhaps some corner case doesn't quite work. > Or there could be trivial changes like a documentation typo. > > -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
