The Short of It I have a github repo meant to be used as a codespace. Collaborators have made github accounts, been added as “collaborators” on the repo, then have gone to the repo page, created a codespace, and used git to checkout a branch, say example_branch. After making a few commits to that branch […]