On 2014-01-03, Simon King <[email protected]> wrote: > Hi Andrew, > > On 2014-01-03, R. Andrew Ohana <[email protected]> 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.
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 -- 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.
