Re: [sage-devel] Patchbot and ticket comments

2011-02-18 Thread Robert Bradshaw
On Fri, Feb 18, 2011 at 6:20 AM, Jeroen Demeyer wrote: > On 2011-02-18 00:27, Robert Bradshaw wrote: >>> 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

Re: [sage-devel] Patchbot and ticket comments

2011-02-18 Thread Jeroen Demeyer
On 2011-02-18 00:27, Robert Bradshaw wrote: >> 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. > > Again, I see this as a disadvantage, because t

Re: [sage-devel] Patchbot and ticket comments

2011-02-17 Thread Robert Bradshaw
On Fri, Jan 28, 2011 at 12:47 AM, Jeroen Demeyer wrote: > 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 in

[sage-devel] Patchbot and ticket comments

2011-01-28 Thread Jeroen Demeyer
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