[sage-devel] Docstring formatting

Hi all, I am working on a large scale docstring formatting PR (https://github.com/sagemath/sage/pull/38155), and I invite you to come and share your opinions and help with the review process. Some comments from me, from things that I've noticed: There are many inconsistencies in formatting and

[sage-devel] Add pre-commit hook

Hi sage-devel-opers, Please check PR #39085 where I propose the addition of a pre-commit hook. This checks some aspects of the staged files when one runs `git commit`. I think it is nice having our own script which we can easily edit to our liking.

[sage-devel] Proposal to allow downloads during build of optional packages

Currently internet connection is not available during the building of a package. I propose to change this (at least) for optional packages. The benefit of this is that we need *not* add all the dependencies as sage pkgs, as it the case now. If there are no important drawbacks to this policy chan