Skip to content

docs(learn): sync generated Playground pages - #116

Closed
hhimanshu wants to merge 1 commit into
mainfrom
docs-publish/20260813220151
Closed

docs(learn): sync generated Playground pages#116
hhimanshu wants to merge 1 commit into
mainfrom
docs-publish/20260813220151

Conversation

@hhimanshu

@hhimanshu hhimanshu commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Automated sync of the Learn > Playground feature pages, generated from source and published as plain MDX content. Review the rendered pages before merging — automated prose cleanup can leave rough edges.


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

@hhimanshu

Copy link
Copy Markdown
Contributor Author

Superseded by #128, which is now merged.

Verified rather than assumed: every open docs-publish/* PR had its diff hashed, and #87#118 (31 PRs) share one identical diff — the same three files and the same change #128 carried. These are re-runs of one sync, not distinct changes.

Closing rather than merging: stacking identical diffs would only conflict with each other.

Worth looking at separately — whatever re-opened this sync 32 times between 8 and 14 August is the real bug here.

@hhimanshu hhimanshu closed this Aug 19, 2026
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