On Wednesday, December 25, 2013 10:01:03 PM UTC, Nathann Cohen wrote: > > Nono, I meant : does it work if the commit *was* merged, but was > merged years ago.
In that case the script will find the first merge that is made by "Release Manager", which is #14480 For really old commits we have no way to associate the trac ticket. For not quite so old commits Jeroen started to enforce trac ticket numbers in the commit message. So in that case its obvious without the script. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
