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