On 02/28/2012 07:33 PM, Keshav Kini wrote:
It's not much consolation right now, but this will become easier once we switch to git, as branches can be automatically checked for whether they are still mergeable into trunk or not. Well, the same could be done with patches I guess but it would require a lot more coding on someone's part.
The patchbot could theoretically do it, but it would take a very small number of false positives to become annoying.
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
