Skip to content
PlutusPlutusDocumentation

GitHub

What Plutus imports

Section titled “What Plutus imports”
  • PR merges
  • Releases

Connecting

Section titled “Connecting”

Method: Personal Access Token (Classic)

  1. In GitHub, go to Settings > Developer settings > Personal access tokens > Tokens (classic).
  2. Click Generate new token (classic).
  3. Under scopes, select repo if you’re tracking a private repository, or public_repo if the repository is public.
  4. Copy the generated token.
  5. In Plutus, paste the token into the Personal Access Token field.
  6. In the Repositories to track field, enter the repositories as a comma-separated list of owner/repo pairs (for example, acme-inc/api, acme-inc/frontend).
  7. Click Save & connect, then Sync now to pull in PR merges and releases.