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

Thanks,
Pierre

> On 26 Feb 2021, at 6:06 PM, Satish Balay via petsc-dev 
> <[email protected]> wrote:
> 
> 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 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
>>> 
>> 
> 

Reply via email to