Skip to content

Connect GitHub

Open Personal settings → Integrations and connect GitHub. GitHub connections are personal, so each researcher connects the account whose repositories they need to access and whose identity should own GitHub activity.

Public repositories need no connection. Access to private repositories depends on the permissions granted to the connection.

After connecting, you can:

When attaching a repository, name the branch, path, or subsystem when the whole repository is ambiguous.