Skip to content

chore(demos): authenticate the demo recorder against the GitHub API - #830

Merged
indaco merged 1 commit into
mainfrom
chore/demo-recorder-github-token
Aug 10, 2026
Merged

chore(demos): authenticate the demo recorder against the GitHub API#830
indaco merged 1 commit into
mainfrom
chore/demo-recorder-github-token

Conversation

@indaco

@indaco indaco commented Aug 10, 2026

Copy link
Copy Markdown
Owner

Description

scripts/record-demo.sh now picks up a token from gh auth token the same way the regression runner does. The demo tape installs a third-party tap formula, and every run starts from a fresh prefix, so the HEAD-commit lookup could not reuse a cached pin and unauthenticated recordings hit the 60/hr anonymous cap mid-tape.

Related Issue

  • None

Notes for Reviewers

  • None

@indaco
indaco merged commit 43df407 into main Aug 10, 2026
3 checks passed
@indaco
indaco deleted the chore/demo-recorder-github-token branch August 10, 2026 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant