Update: the switch (at gitlab.com/petsc/petsc) is done.
Please delete your local copy of 'master' branch and start using 'main' branch. Satish On Tue, 23 Feb 2021, Satish Balay via petsc-dev wrote: > 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 >