Skip to content

docs: use GitHub edit links#713

Closed
jddark62 wants to merge 1 commit into
tscircuit:mainfrom
jddark62:docs/github-edit-url-65
Closed

docs: use GitHub edit links#713
jddark62 wants to merge 1 commit into
tscircuit:mainfrom
jddark62:docs/github-edit-url-65

Conversation

@jddark62

@jddark62 jddark62 commented Jun 5, 2026

Copy link
Copy Markdown

Claims tscircuit/docs-old#65.

/claim #65

Summary

  • Update the Docusaurus editUrl to use GitHub edit mode.
  • Keep the docs source repository and branch unchanged.
  • Make generated doc edit links open the in-browser GitHub editor instead of the file browser.

Verification

  • git diff --check
  • Checked docusaurus.config.ts contains https://github.com/tscircuit/docs/edit/main/

Notes

The original bounty issue is in the archived tscircuit/docs-old repository, which is read-only and does not allow a fresh /attempt comment. This PR targets the active tscircuit/docs repository, matching the pattern used by other docs-old bounty claims.

@vercel

vercel Bot commented Jun 5, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
docs Ready Ready Preview, Comment Jun 5, 2026 5:38pm

Request Review

@github-actions

github-actions Bot commented Jun 8, 2026

Copy link
Copy Markdown

This PR has been automatically marked as stale because it has had no recent activity. It will be closed if no further activity occurs.

@github-actions

Copy link
Copy Markdown

This PR was closed because it has been inactive for 1 day since being marked as stale.

@github-actions github-actions Bot closed this Jun 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant