Simon King wrote: > On 2015-05-10, Volker Braun <vbraun.n...@gmail.com> 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.
Exactly. -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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
