Skip to content

ota: make GitHub token optional - #434

Merged
Variour merged 1 commit into
mainfrom
claude/github-token-optional-rrx7wt
Jul 25, 2026
Merged

ota: make GitHub token optional#434
Variour merged 1 commit into
mainfrom
claude/github-token-optional-rrx7wt

Conversation

@Variour

@Variour Variour commented Jul 21, 2026

Copy link
Copy Markdown
Owner

Summary

  • OTA update/PR-list requests now authenticate only if a GitHub token is configured, instead of failing with "no GitHub token configured" when it's empty
  • _httpGet in Updater.h adds the Authorization header conditionally; unauthenticated requests work against a public repo, just at GitHub's lower per-IP rate limit
  • Web UI: added a hint under the token field noting it's optional and only raises the API rate limit

Test plan

  • Reviewed Updater.h diff for correctness (no remaining references to removed _authHeader/token-gate code)
  • npm install + mock server (npm run dev:no-auth) started cleanly
  • Playwright check confirmed the new hint renders correctly under the token field in the Updates card, matching the existing hint style, without breaking layout

Generated by Claude Code

@Variour Variour added the enhancement New feature or request label Jul 21, 2026 — with Claude
@github-actions

Copy link
Copy Markdown

Preview

URL: https://batterylight-pr-434.blackpond-ef672c92.germanywestcentral.azurecontainerapps.io

Hosted on Azure Container Apps — accessible from the internet.

Requests to the releases/pulls API now go out unauthenticated when no
token is configured, instead of failing outright. This works against a
public repo, just at GitHub's lower unauthenticated rate limit. The web
UI now notes that the token is optional and only raises that limit.
@Variour
Variour force-pushed the claude/github-token-optional-rrx7wt branch from f00340c to c93355d Compare July 25, 2026 08:42
@Variour
Variour merged commit b85ea52 into main Jul 25, 2026
11 of 14 checks passed
@Variour
Variour deleted the claude/github-token-optional-rrx7wt branch July 25, 2026 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants