On Dec 30, 10:01 am, Simon King <simon.k...@uni-jena.de> wrote: > Hi Dave, > > On 30 Dez., 10:21, daveloeffler <dave.loeff...@gmail.com> wrote: > > > I can see a slight problem with this. At present there's no mechanism > > to explain to the patchbot exactly which patches to apply. So if you > > have (say) a ticket with a patch that requires a patch from an earlier > > ticket to be applied, or if you have three patches of which only the > > last two should be applied (because the first was a superseded > > attempt), or any other nontrivial situation, the patchbot will be > > sending out loads of unnecessary messages. > > I may be mistaken, but as far as I know, if ticket #9876 has 4 patches > A.patch,...,D.patch, of which only D, B and C are to be applied, after > applying the patches from ticket #9999 and #8888, you simply need to > provide a comment that contains the lines > > depends on #9999, #8888 > apply D.patch, B.patch, A.patch > > So, the patchbot would only send out a message if one forgot to > indicate how the patches should be applied (which is an important > information anyway). > > Cheers, > Simon
I'm sorry -- I clearly haven't been keeping pace with developments on the patchbot! It gets more and more useful every day. 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
