Skip to content

Conversation

@jupblb
Copy link
Member

@jupblb jupblb commented Dec 18, 2025

@jupblb jupblb self-assigned this Dec 18, 2025
@jupblb jupblb added the documentation Improvements or additions to documentation label Dec 18, 2025
@vercel
Copy link

vercel bot commented Dec 18, 2025

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

Project Deployment Review Updated (UTC)
sourcegraph-docs Ready Ready Preview, Comment Dec 18, 2025 10:33am

@jupblb jupblb merged commit 7786667 into main Dec 19, 2025
2 checks passed
@jupblb jupblb deleted the michal/ci-precise branch December 19, 2025 17:07
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.

4 participants