Ce que fait ce skill

Ce skill automatise le flux de travail pour la création d'un ticket GitHub et d'une pull request correspondante dans le dépôt graalvm-reachability-metadata, en s'assurant que le corps de la PR lie le ticket (ex: 'Fixes #123') et en demandant les relecteurs standards du projet tout en excluant l'auteur de la PR. Il documente les étapes de vérification pour confirmer l'état de la PR et du ticket.

Quand l'utiliser

Utilisez ce skill lorsque vous avez une branche avec des modifications destinées à graalvm-reachability-metadata et que vous voulez que l'agent : 1) crée un ticket clair avec titre/corps, 2) pousse et crée une PR qui référence le ticket, et 3) demande l'ensemble standard de relecteurs (kimeta, jormundur00, vjovanov) sauf l'auteur de la PR. Utilisez-le également pour mettre à jour une PR existante afin d'inclure un lien vers un ticket au lieu de créer des doublons.

Ce qui est inclus

Scripts : aucun script intégré dans le SKILL.md (has_scripts=false)
Références : aucune référence listée (has_references=false)
Instructions : vérifications étape par étape du statut git et de la branche, commandes pour créer un ticket (gh issue create), pousser la branche, créer la PR (gh pr create) avec 'Fixes #ISSUE_NUMBER', demander des relecteurs (gh pr edit --add-reviewer), et vérifier l'état final avec gh pr view / gh issue view.