On Wednesday, July 13, 2022 at 12:13:28 PM UTC+9 John H Palmieri wrote: > I am "no" to having a Sage policy dictating blank lines, and I am also > "no" to having a policy dictating no blank lines. >
We do have conventions in the developer manual by which sage developers are "dictated". Specifically the blank line convention is suggested by Examples in the developer manual: https://doc.sagemath.org/html/en/developer/coding_basics.html#headings-of-sage-library-code-files So perhaps Travis wants to revise the Examples if we reach to a consensus. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a298b834-3660-4c48-b2cc-55c774dfa166n%40googlegroups.com.