Public GitHub repositories opened in this space.
No GitHub credentials needed. Everyone with this URL can use, change, stop, or delete these workspaces. Private repositories and GitHub pushes are not supported.