The answers to these were probably stated already, but the reminder might be useful to others, as well. What will happen to "master" after today? Will it be deleted immediately or at some planned time? If not immediately deleted, will it be updated to match main?

Am 23.02.2021 um 18:19 schrieb Satish Balay via petsc-dev <[email protected]>:

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