Skip to content

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

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

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

Conversation

@hhimanshu

@hhimanshu hhimanshu commented Aug 12, 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