I have set up a discussion/vote on changing our docs update policy from release to main. As we are getting close to a release I believe we would benefit from changing the policy now. Please discussion and vote, (this is just an informal vote, not a PETSc council vote) Thanks Barry https://urldefense.us/v3/__https://gitlab.com/petsc/petsc/-/work_items/1916_...  Stop making doc changes going forward in release. A discussion and decision. (#1916) · Issues · PETSc / petsc · GitLab gitlab.com