fetch-milestone-prs

This skill retrieves all merged pull requests associated with a GitHub milestone and saves each PR's metadata as a separate JSON file for downstream processing (e.g., release notes generation, changelog creation).

When to Use This Skill

• User asks to fetch or retrieve PRs for a milestone
• User wants to gather PR data before generating release notes
• User needs milestone PR metadata for analysis or categorization
• User mentions a milestone name and wants to see what PRs were included
• As a prerequisite step before invoking the release-notes prompt

Prerequisites

• The gh CLI must be installed and authenticated (gh auth login)
• Python 3.8+ must be available

Instructions

1. Identify the milestone name from the user's request. This is typically a version string like 7.0.0-preview4, 6.1.5, etc.