[petsc-users] reproducibility

[Mark Adams]

How do you check out the version of PETSc used from the output:

Using Petsc Development GIT revision: v3.15.0-531-g1397235  GIT Date:
2021-05-18 13:47:28 -0400

I am looking for a SHA1

Thanks,
Mark