fix: 统一使用 pull_request_number 替代 pull_request_id #10
Loading…
Reference in New Issue
No description provided.
Delete Branch "wbtiger/gitlink-cli:fix/pr-id-to-number"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
将所有 skill 文档中对 pull_request_id 的引用替换为 pull_request_number,与用户在网页 URL (/pulls/N) 中看到的序号一致。API 本身支持 pull_request_number,因此无需任何代码改动。
Fixes #7