get_release_notes
Fetch GitHub release notes for a Spring project version or default stable release, filtered by breaking changes, new features, or deprecations.
Instructions
Récupère les notes de release GitHub d'un projet Spring (version précise ou dernière), avec filtre sur les changements majeurs, nouveautés ou dépréciations
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| focus | No | Aspect à mettre en avant : tout, changements majeurs, nouveautés ou dépréciations | all |
| project | No | Projet Spring dont on veut les notes de release | boot |
| version | No | Version de la release (ex. '3.5.0', 'v3.5.0', '4.2.0-M2' ; '3.5' = dernière release stable de cette mineure). Si omise ou 'latest' : dernière version stable. Jeton GitHub optionnel via la variable d'environnement GITHUB_TOKEN (limite de débit relevée) |