Skip to content

Document that URDF files can be loaded into existing recording#12286

Merged
MichaelGrupp merged 2 commits intomainfrom
michael/urdf-docs-drag-drop
Dec 19, 2025
Merged

Document that URDF files can be loaded into existing recording#12286
MichaelGrupp merged 2 commits intomainfrom
michael/urdf-docs-drag-drop

Conversation

@MichaelGrupp
Copy link
Copy Markdown
Member

It's cool feature that deserves to be documented!

@MichaelGrupp MichaelGrupp added exclude from changelog PRs with this won't show up in CHANGELOG.md deploy docs Once this PR is merged to main, the resulting commit will be cherry-picked to docs-latest labels Dec 19, 2025
@github-actions
Copy link
Copy Markdown
Contributor

Your changes can be cherry-picked to docs-latest and will be deployed
immediately after merging.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Dec 19, 2025

Latest documentation preview deployed successfully.

Result Commit Link
e3c288e https://landing-macuvp719-rerun.vercel.app/docs

Note: This comment is updated whenever you push a commit.

@MichaelGrupp
Copy link
Copy Markdown
Member Author

Copy link
Copy Markdown
Member

@Wumpf Wumpf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice!
Maybe, since you highlight that in the video briefly, add a sentence on why there's errors before?

@MichaelGrupp MichaelGrupp merged commit e0b024a into main Dec 19, 2025
34 checks passed
@MichaelGrupp MichaelGrupp deleted the michael/urdf-docs-drag-drop branch December 19, 2025 15:09
rerun-bot pushed a commit that referenced this pull request Dec 19, 2025
It's cool feature that deserves to be documented!
Copy link
Copy Markdown
Member

@Wumpf Wumpf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

ntjohnson1 pushed a commit that referenced this pull request Dec 19, 2025
It's cool feature that deserves to be documented!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

deploy docs Once this PR is merged to main, the resulting commit will be cherry-picked to docs-latest exclude from changelog PRs with this won't show up in CHANGELOG.md

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants