Am 2015-05-07 um 03:42 schrieb leif: > I might be wrong, but isn't it trivial to check whether the branch of a > ticket changed (after you merged it into some preliminary release)?
It is easy to check. But what if it did change? This might lead to an infinite cycle, as outlined before. Regards, CH -- 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/d/optout.
