Thanks for the memories 2023.
Pull requests to main only, do not commit directly here.
CI follows these directions.
it's not really easy to add branches to your fork. if you really need to, you could do the recipe below, but please don't, talk to Joel instead.
$ git remote add upstream https://github.com/team100/main2023.git
$ git remote -v
$ git pull --all
Fetching origin
Fetching upstream
From https://github.com/team100/main2023
* [new branch] calgames2023 -> upstream/calgames2023
* [new branch] main -> upstream/main
* [new tag] AfterSVR -> AfterSVR
* [new tag] showmode -> showmode
Already up to date.
$ git checkout -b calgames2023