Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 24, 2025

This PR updates the registry.json file from the latest release of the toolhive-registry repository.

Release: v2025.10.25
Servers: 88
Checksum verified: ✅

Migration Notice

The registry data is now maintained in the separate toolhive-registry repository and distributed via GitHub releases. This replaces the previous regup automation that updated individual server metadata.

Changes

  • Registry synchronized from external repository
  • All server definitions and metadata updated
  • Provenance and security information maintained by upstream

@github-actions github-actions bot force-pushed the update-registry-from-release branch from e3f1a79 to e714635 Compare October 25, 2025 00:20
@github-actions github-actions bot changed the title Update registry from toolhive-registry release v2025.10.24 Update registry from toolhive-registry release v2025.10.25 Oct 25, 2025
@JAORMX JAORMX merged commit e2e4614 into main Oct 25, 2025
3 checks passed
@JAORMX JAORMX deleted the update-registry-from-release branch October 25, 2025 05:28
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.

1 participant