Hi! Today, it happened twice to me that I had to manually update the commit field of a trac ticket when pushing a branch using the dev scripts. In both cases, pushing my branch involved changing the branch attached to the ticket (from u/ncohen/... to u/SimonKing/...). Could it be that the dev scripts forget to change the commit field if they have to change the branch field?
Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
