Hello, Let me propose that the patchbot would *only* look at the ticket description and not comments to check for spkgs, patches, dependencies and so on. I can see two major advantages:
1) People will be forced to write such information in the ticket description where humans can also easily find that information. 2) The ticket description can be *edited*, comments not. For example, if some comments just mention a new spkg, then the patchbot will automatically think it's a dependency, even when it's not. Jeroen. -- 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
