Skip to content

Add redirect from old to new deep search URL#1248

Merged
eseliger merged 1 commit into
mainfrom
es/ds-redirect
Jul 8, 2025
Merged

Add redirect from old to new deep search URL#1248
eseliger merged 1 commit into
mainfrom
es/ds-redirect

Conversation

@eseliger
Copy link
Copy Markdown
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
@vercel
Copy link
Copy Markdown

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