Skip to content

Add redirect from old to new deep search URL #1248

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 8, 2025
Merged

Conversation

eseliger
Copy link
Member

@eseliger eseliger commented Jul 8, 2025

We moved it but the product deep links to the old location.

Test plan: CI.

We moved it but the product deep links to the old location.

Test plan: CI.
@eseliger eseliger enabled auto-merge (squash) July 8, 2025 11:29
Copy link

vercel bot commented Jul 8, 2025

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

Name Status Preview Comments Updated (UTC)
sourcegraph-docs 🔄 Building (Inspect) Visit Preview 💬 Add feedback Jul 8, 2025 11:29am

@eseliger eseliger merged commit a093e4f into main Jul 8, 2025
4 of 5 checks passed
@eseliger eseliger deleted the es/ds-redirect branch July 8, 2025 11:32
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.

2 participants