"Toby D. Young" <[email protected]> writes:

PS. Can I get my commit permissions back for PETSc dev please?

Do you have a bitbucket account? We are doing all development in topic branches, which you can create in your own fork. If you're doing frequent development, we can add you to the PETSc team so that you can push branches there. See the branch workflow documentation here. https://bitbucket.org/petsc/petsc/wiki/