Skip to content

Conversation

@mercihabam
Copy link
Member

This will allow the implementation in #1799 to have a source from which to retrieve the released-versions information. Ideally, this file should be updated whenever a new version is released in the future.

@kroky
Copy link
Member

kroky commented Nov 26, 2025

I prefer we use github releases data directly.

@mercihabam
Copy link
Member Author

Great! So, closing this PR in favor of data fetched from GitHub.

@mercihabam mercihabam closed this Nov 26, 2025
@mercihabam mercihabam deleted the add-releases-file branch November 26, 2025 14:44
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