Skip to content

Remove o1 and improve @m-mention dir#1146

Merged
MaedahBatool merged 1 commit into
mainfrom
rmv-o1
May 20, 2025
Merged

Remove o1 and improve @m-mention dir#1146
MaedahBatool merged 1 commit into
mainfrom
rmv-o1

Conversation

@MaedahBatool
Copy link
Copy Markdown
Contributor

Pull Request approval

You will need to get your PR approved by at least one member of the Sourcegraph team. For reviews of docs formatting, styles, and component usage, please tag the docs team via the #docs Slack channel.

@vercel
Copy link
Copy Markdown

vercel Bot commented May 20, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback May 20, 2025 5:49pm

@MaedahBatool MaedahBatool merged commit b8198d7 into main May 20, 2025
5 checks passed
@MaedahBatool MaedahBatool deleted the rmv-o1 branch May 20, 2025 17:52
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