PS: On 8 Dez., 11:22, Robert Bradshaw <rober...@math.washington.edu> wrote: > Just have a line that says "depends on #8807 #10318"
How case and noise resistant is the buildbot? E.g., above, you advised `put a line in any comment that says "Apply foo.diff"` - upper case. Here you advise "depends" - lower case. By "a line in any comment", do you mean that the comment may contain further lines? And what about an indentation? Hence, is it OK to do Note to the buildbot / release manager: Depends on #12345 apply foo.patch bar.patch ? (It is upper versus lower case with different indentation and additional lines) Cheers, 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
