Satish Balay <[email protected]> writes:

On Thu, 27 Aug 2020, Jed Brown wrote:

...

If you make an account, I can add you so you can see the settings

https://readthedocs.org/projects/petsc/

Currently, it's Patrick, Vaclav, and me.

Ok - account created now [via gitlab] so I'm sbalay at readthedocs.org

Added.