On 11/05/15 11:52, Volker Braun wrote: > * An issue tracker is not a suitable venue for asking questions
And doing review? > * If something is wrong in a closed ticket then you should open a new ticket > * If you want to include people on a ticket then add them to CC What if somebody after a search went to ticket X, and that ticket Y corrects the bug that was introduced in X? I would found normal that in ticket X there is a mention of ticket Y. > On Monday, May 11, 2015 at 11:44:58 AM UTC+2, vdelecroix wrote: >> >> This is not a bug! It is really useful if you want to ask design >> questions or mention a follow up ticket or let a remark about something >> done wrong... >> >> On 11/05/15 11:42, Volker Braun wrote: >>> 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.
