[sumo-dev] Default git branch has been renamed to "main"

[Michael Behrisch <oss@xxxxxxxxxxx>]

Dear friends and SUMO hackers,
please note that following the general guideline of GitHub to replace
the name of the default branch "master" to "main", we also renamed the
branch in https://github.com/eclipse/sumo
You will need to update your local repository using the following commands:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

Sorry for any inconvenience this may have caused.

Best regards,
Michael (for the SUMO team)