The trivial issues like missing commit message ought to be handled by a commit hook (also, the whole process of adding commit messages by manually editing patch files is broken by design).
The patchbot should be mainly for doctesting and only secondarily to server-side verify the commit hook checks. Right now it is mostly broken because the pending patchbot-1.3.spkg update and because of the sage-cleaner braindamage. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
