Thats basically it. The script takes the develop branch and merges in the ticket. And in a "detached head", i.e. without messing up an existing branch.
On Thursday, March 9, 2017 at 10:41:07 PM UTC+1, Paul Masson wrote: > > The documentation https://github.com/sagemath/git-trac-command at say > that it creates a detached HEAD merge of the ticket and the develop branch. > Since that was written by Volker, perhaps he could provide more information. > > On Thursday, March 9, 2017 at 1:28:57 AM UTC-8, Eric Gourgoulhon wrote: >> >> Of course I may dig into git-trac sources, but can anyone tell what "git >> trac try" does in terms of plain git? >> >> Eric. >> >> -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.