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.