Dev scripts not automatically updating commit field?

[Simon King]

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

[R. Andrew Ohana]

Can you point me to a ticket and a comment? Somehow this is skipping by the trac plugin that should auto populate this information.

--
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 sage-git+u...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

--

Andrew

[Simon King]

Hi Andrew,

On 2014-01-03, R. Andrew Ohana <andrew...@gmail.com> wrote:
> Can you point me to a ticket and a comment? Somehow this is skipping by the
> trac plugin that should auto populate this information.

#15622 (see comment 15).

I think there has been a second one. But I can't find it right now.

Best regards,
Simon

[Simon King]

Just a minute ago, #15623 commit 6 became another example. Again, the
dev script was changing the branch (u/ncohen/... to u/SimonKing/...) and
did not update the commit field.

Cheers,
Simon