[Dune-devel] Git change default branch name from master to main

[Simon Praetorius]

Hi everybody.

I have collected some steps that would be necessary to do a transition 
from master to main in our gitlab:

https://gitlab.dune-project.org/infrastructure/issues0/-/issues/67

First of all, there is not yet a hard requirement that we switch from 
master to main. In the following years there will not be a significant 
change in git or gitlab so that we would get in any trouble. But, it is 
very likely that we change already now the way we teach students to use 
git, because the new default branch name `main` is used in gitlab.com 
and github.com and maybe others. So, students will ask about this and 
will soon get confused if we are still using `master` and all big 
players are using `main`. So, while we do not have a deadline and a hard 
forcing to change our current status quo, we might start now to think 
about a change in the future and what we need to do to make this as 
smooth as possible.

In the issue above, I already collected some necessary steps and some 
possible issues I see. Pleas add other points I have overseen.  Or 
comment on solutions to the posted issues.

I can imagine that with good preparation, we can have a change of all 
relevant repositories within a very few days. But until we go this step 
several questions need to be addressed. So we should take enough time 
for this. There is no rush.

Best wishes,
Simon

-- 
Dr. Simon Praetorius
Technische Universität Dresden
Institute of Scientific Computing
phone: +49 351 463-34432
mail: simon.praetorius@​tu-dresden.de