Sounds like a good idea! For the record, this is implemented in the git trac command as
$ git trac log --oneline 15626 598760f Trac #15626: Further improvements to splitting_field() 776795d Do polynomial consistency check only for minimal dm df52508 Further improvements to splitting_field() Maybe that'll make it easier for Andrew to implement it... Tickets get closed when they are merged, I don't think we necessarily need to color-code that. On Thursday, January 9, 2014 12:39:16 PM UTC-10, David Roe wrote: > > Once a ticket is merged, clicking on the branch name doesn't produce any > output (just a mouseover, "already merged"). For looking at old tickets, > it would be useful to be able to see the changes introduced by that > branch. Perhaps we can show the diff from after the merge to before the > merge on the development line? Having the color be different to indicate > that it's already merged would also be nice. > David > -- 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.
