Skip to content

docs: added notebook will be downloaded if it's a url path.#9545

Merged
mscolnick merged 2 commits into
marimo-team:mainfrom
Shamik-07:docs/marimo_edit_cli
May 18, 2026
Merged

docs: added notebook will be downloaded if it's a url path.#9545
mscolnick merged 2 commits into
marimo-team:mainfrom
Shamik-07:docs/marimo_edit_cli

Conversation

@Shamik-07
Copy link
Copy Markdown
Contributor

@Shamik-07 Shamik-07 commented May 13, 2026

📝 Summary

Docstring for the edit command.
Closes #9539

📋 Pre-Review Checklist

  • For large changes, or changes that affect the public API: this change was discussed or approved through an issue, on Discord, or the community discussions (Please provide a link if applicable).
  • Any AI generated code has been reviewed line-by-line by the human PR author, who stands by it.
  • Video or media evidence is provided for any visual changes (optional).

✅ Merge Checklist

  • I have read the contributor guidelines.
  • Documentation has been updated where applicable, including docstrings for API changes.
  • Tests have been added for the changes made.

@vercel
Copy link
Copy Markdown

vercel Bot commented May 13, 2026

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

Project Deployment Actions Updated (UTC)
marimo-docs Ready Ready Preview, Comment May 15, 2026 8:14pm

Request Review

Copy link
Copy Markdown
Contributor

@cubic-dev-ai cubic-dev-ai Bot left a comment

Choose a reason for hiding this comment

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

No issues found across 1 file

@mscolnick mscolnick added the documentation Improvements or additions to documentation label May 18, 2026
@mscolnick mscolnick merged commit 13ea9a7 into marimo-team:main May 18, 2026
44 of 47 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document that marimo edit can edit URLs

3 participants