Erik Bray wrote: > On Tue, Aug 30, 2016 at 10:12 PM, Jeroen Demeyer <jdeme...@cage.ugent.be> > wrote: >> On 2016-08-30 19:44, leif wrote: >>> >>> Anyway, our current policy is that *only* the release manager is allowed >>> to close tickets, so I wouldn't do without first asking. >> >> >> I have the "power" to close tickets, but I don't do that because of this >> reason. The only exceptions are tickets which are obviously mistakes or >> spam. > > I think it' should be fine to close tickets so long as it's already > been signed off on as close-able in some sense or another.
Well, we once had release notes... ... where also tickets closed (but not merged) within the current release cycle were listed. Since duplicate/invalid/wontfix is a *milestone* (!), it's not easy to recover these when they've already been closed. In fact, also duplicates were closed /after/ the other ticket(s) fixing an issue had been merged and released. -leif -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.