Hi Jeroen! On 25 Jan., 09:32, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > on a ticket, when it depends on other tickets or when only specific > patches from a big list of patches need to be applied, please make it > clear in the *ticket description* as opposed to buried somewhere in > comment 57.
Will the patchbot read the description as well? Or does the patchbot prefer a separate comment? Is there a small tutorial on how to talk with the patchbot somewhere in the wiki? Best regards, Simon -- 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
