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) _______________________________________________ sumo-dev mailing list sumo-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/sumo-dev
