Skip to content

Conversation

@koaning
Copy link
Contributor

@koaning koaning commented Oct 16, 2025

I saw a question on how to setup copilot in Discord. I checked the docs and saw an opportunity to make the setup more clear with a screenshot. Also added a video to showcase what the experience might be like for a user who is considering the feature.

@koaning koaning requested a review from akshayka as a code owner October 16, 2025 11:49
@vercel
Copy link

vercel bot commented Oct 16, 2025

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

Project Deployment Preview Comments Updated (UTC)
marimo-docs Ready Ready Preview Comment Oct 16, 2025 11:49am

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 16, 2025
@mscolnick mscolnick changed the title Copilot docs docs: improve copilot docs Oct 16, 2025
@koaning koaning merged commit 323ccdf into main Oct 16, 2025
26 checks passed
@koaning koaning deleted the copilot-docs branch October 16, 2025 13:15
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.

3 participants