On Dec 30, 1:41 pm, Robert Bradshaw <rober...@math.washington.edu> wrote: > > And otherwise it does a "best guess" kind of approach, which is decent > (especially if there is only one patch :). In any case, I don't think > people would mind getting a "nag" that the patchbot got confused, > indicating that it might be worth your while to give it a hint. > > - Robert
Agreed. Are there docs for the patchbot extant somewhere? It would be handy to have some brief guidelines (perhaps on the Trac wiki?) David -- 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