Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'

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

Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'

https://www.mcs.anl.gov/petsc/petsc-main should be the primary petsc-master, petsc-dev etc will be links to it - and should continue to work. Satish On Fri, 26 Feb 2021, Pierre Jolivet wrote: > What about https://www.mcs.anl.gov/petsc/petsc-master >

Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'

What about https://www.mcs.anl.gov/petsc/petsc-master ? Will it be moved to https://www.mcs.anl.gov/petsc/petsc-main or will only https://www.mcs.anl.gov/petsc/petsc-dev

Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'

I plan to delete 'master' immediately - so that folk don't assume it still exits and work with it [assuming its the latest, creating MRs against it etc..] Satish On Fri, 26 Feb 2021, Patrick Sanan wrote: > The answers to these were probably stated already, but the reminder might be > useful

Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'

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