On Mon, Jul 9, 2018 at 8:33 AM Simon King <[email protected]> wrote: > > On 2018-07-08, Volker Braun <[email protected]> wrote: > > The commit SHA1 is immutable, but the branch can evolve over time. > > There is a "commit" field on trac, as you know. So, why is there a > pressing need to replace the "branch" field by the content of the "commit" > field, when this makes it impossible to "git trac checkout"?
It's surprising, but it does make sense. A branch can continue to move around even if at some point it was merged into the main branch. Having a named branch in a ticket that has been fixed can be confusing because if someone continues to push to that same branch, it longer represents the code that was actually merged for that ticket. In fact, I am trying to encourage people to delete their upstream branches once a ticket has been closed: https://groups.google.com/d/msg/sage-devel/LuYAxDJ7Nlo/pJnAY82LBQAJ This is why I'm a bit wary of the "git trac" command--while it is certainly convenient it should not be used as the end-all-be-all interface to git. If you know the name of the branch you want to check out and it hasn't been deleted, nothing is stopping anyone from running `git checkout <branchname>`. > > On Sunday, July 8, 2018 at 8:41:56 PM UTC+2, Dima Pasechnik wrote: > >> > >> maybe this should be fixed - is there a pressing need to replace the > >> corresponding metadata on the ticket? > > > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
