Hello all
The branch “master” has been renamed to “main”
If you have a clone of the main repository in your local environment:
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
This instructions will pop up when you access the repository
···
Georepublic UG (haftungsbeschränkt)
Salzmannstraße 44,
81739 München, Germany
Vicky Vergara
Operations Research
eMail: vicky@[georepublic.de](http://georepublic.de)
Web: [https://georepublic.info](https://georepublic.info)
Tel: +49 (089) 4161 7698-1
Fax: +49 (089) 4161 7698-9
Commercial register: Amtsgericht München, HRB 181428
CEO: Daniel Kastl