Skip to content

Fix path /docs in bot in prod#1078

Merged
MaedahBatool merged 1 commit into
mainfrom
fix-bot-path-prod
Apr 10, 2025
Merged

Fix path /docs in bot in prod#1078
MaedahBatool merged 1 commit into
mainfrom
fix-bot-path-prod

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 Apr 10, 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 Apr 10, 2025 4:19pm

@MaedahBatool MaedahBatool self-assigned this Apr 10, 2025
@MaedahBatool MaedahBatool added bug Something isn't working documentation Improvements or additions to documentation labels Apr 10, 2025
@MaedahBatool MaedahBatool merged commit af94c7f into main Apr 10, 2025
5 checks passed
@MaedahBatool MaedahBatool deleted the fix-bot-path-prod branch April 10, 2025 16:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant