Feature request for trac git plugin

47 views
Skip to first unread message

David Roe

unread,
Jan 9, 2014, 5:39:16 PM1/9/14
to sage...@googlegroups.com
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

Volker Braun

unread,
Jan 10, 2014, 2:23:32 AM1/10/14
to sage...@googlegroups.com, roed...@gmail.com
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.

R. Andrew Ohana

unread,
Jan 10, 2014, 4:05:08 PM1/10/14
to sage...@googlegroups.com, David Roe
Well branches are just temporary pointers -- we shouldn't assume they even exist after a ticket is closed. The commit field should be locked after a ticket has been closed, and that is something we could rely on for the long term. I could make that a link?


--
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

David Roe

unread,
Jan 10, 2014, 4:51:29 PM1/10/14
to R. Andrew Ohana, sage...@googlegroups.com
I think it would be good to have the link still in the branch field.

What if the release manager scripts created a branch on trac (e.g. /closed/ticket/14304) that pointed to the merge commit?  Then when a ticket is closed, the branch field could change to that branch, which would only be writable by the release manager.  The link could be the diff of that merge commit against its first parent.
David

R. Andrew Ohana

unread,
Jan 10, 2014, 5:54:36 PM1/10/14
to David Roe, sage...@googlegroups.com
Another option is that I could move all the links over to the commit field (and also make the commits display their first 7 bytes, rather than all 40).
--
Andrew

Volker Braun

unread,
Jan 11, 2014, 1:05:34 AM1/11/14
to sage...@googlegroups.com, David Roe
Yet another possibility: my "close ticket" script could post the commits that end up being in that ticket as the last comment. 

R. Andrew Ohana

unread,
Feb 11, 2014, 3:48:56 AM2/11/14
to sage...@googlegroups.com, David Roe
Ok, I'm looking to update the trac plugin stuff in a couple of days, and I'd like to include this feature. How about filling out the branch field with the sha1 of the commit that is merged when a ticket is closed?

David Roe

unread,
Feb 11, 2014, 5:08:23 AM2/11/14
to sage...@googlegroups.com
I guess the thing I would most like to see is that the changes that were introduced by this ticket against the develop branch.
David
Reply all
Reply to author
Forward
0 new messages