GitHub
Connect GitHub repos to individual experiments by mentioning their human-friendly ID in PR titles/descriptions, or by selecting them in Colabra. This displays a summary of the PR above the Activity section.
Clicking the block redirects to the PR in GitHub.
Connect a GitHub organization to the workspace from the Settings menu.
Last updated