All, This is a heads-up, we are to switch the default branch in petsc git repo from 'master' to 'main'
[Will plan to do the switch on friday the 26th] We've previously switched 'maint' branch to 'release' before 3.14 release - and this change (to 'main') is the next step in this direction. Satish
