用途：按 GitHub 里程碑抓取所有已合并 PR 的元数据，输出为结构化 JSON，供发布说明生成、变更日志编写或后续分析使用。
主要能力：识别里程碑名称（如 7.0.0-preview4、6.1.5），默认仓库为 dotnet/SqlClient，可通过 --repo 指定其他仓库；为每个 PR 生成单独的 <number>.json 文件，并生成 _index.json 汇总索引；自动计算 has_public_api_label、has_engineering_label、has_test_label 等布尔标记，便于分类。
使用方式：需先安装并认证 gh CLI（gh auth login），且具备 Python 3.8+。运行命令：python .github/skills/fetch-milestone-prs/fetch-milestone-prs.py <milestone> [--repo OWNER/REPO] [--output-dir DIR]。默认输出到 .milestone-prs/<milestone>/。完成后检查 _index.json 并向用户报告已合并总数、跳过数（已关闭但未合并）和输出目录。
适用场景：用户要求抓取某里程碑的 PR；生成发布说明前收集 PR 数据；需要里程碑 PR 元数据进行分析或分类；作为 release-notes 提示词的前置步骤。
限制：里程碑不存在时会打印可用里程碑并退出；gh 未认证会报错；单个 PR 详情获取失败会退出，可能因 API 速率限制，建议等待重试；Windows 下编码错误使用 errors="replace" 处理非 UTF-8 字符。输出文件可被 release-notes 提示词或手动分析消费。