8000 Make releases page fetch from releaseregistry by eseliger · Pull Request #1453 · sourcegraph/docs · GitHub
[go: up one dir, main page]

Skip to content

Conversation

@eseliger
Copy link
Member
@eseliger eseliger commented Nov 26, 2025

This page wasn't maintained, fetching from release registry takes away that manual step and fixes that the page was stale.

left after, right before:
CleanShot 2025-11-27 at 00 03 40@2x

This page wasn't maintained,  fetching from release registry takes away that manual step and fixes that the page was stale.
@vercel
Copy link
vercel bot commented Nov 26, 2025

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

Project Deployment Preview Comments Updated (UTC)
sourcegraph-docs Ready Ready Preview Comment Nov 26, 2025 11:04pm

@eseliger eseliger marked this pull request as ready for review November 26, 2025 23:06
anchor: string;
};

const legacySupportedReleases: LegacyRelease[] = [
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

these predate releaseregistry?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yep they are not tracked in release registry

@eseliger eseliger merged commit dc568cc into main Nov 26, 2025
9 checks passed
@eseliger eseliger deleted the es/dynamic-releases branch November 26, 2025 23:08
@bobheadxi bobheadxi requested a review from a team November 26, 2025 23:09
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.

3 participants

0