IMHO the only bug is that commenting on closed tickets is possible.
On Monday, May 11, 2015 at 11:14:51 AM UTC+2, Simon King wrote: > > Hi Volker, > > On 2015-05-10, Volker Braun <vbrau...@gmail.com <javascript:>> wrote: > > I think it would be easy to disallow changes to the commit field in our > > trac plugin (except for the git hook of course). Just needs somebody to > > implement it. > > > > On Sunday, May 10, 2015 at 3:07:45 PM UTC+2, leif wrote: > >> is this necessary? > >> > >> (As you will know, it happens each time somebody comments on an already > >> closed ticket with a branch.) > > If I understand correctly, what Leif says is that the commit field is > automatically deleted when on a closed ticket someone posts a *comment*, > i.e., without manually editing the commit field and without reopening it. > If such things really happen, then I'd say it is a bug in trac. > > Best regards, > Simon > > > -- 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.