fix: 统一使用 pull_request_number 替代 pull_request_id #10

Merged
wbtiger merged 1 commits from wbtiger/gitlink-cli:fix/pr-id-to-number into master 2026-05-12 14:28:30 +08:00
Member

将所有 skill 文档中对 pull_request_id 的引用替换为 pull_request_number,与用户在网页 URL (/pulls/N) 中看到的序号一致。API 本身支持 pull_request_number,因此无需任何代码改动。

Fixes #7

将所有 skill 文档中对 pull_request_id 的引用替换为 pull_request_number,与用户在网页 URL (/pulls/N) 中看到的序号一致。API 本身支持 pull_request_number,因此无需任何代码改动。 Fixes #7
wbtiger added 1 commit 2026-05-12 14:25:46 +08:00
17abc488a8 fix: 统一使用 pull_request_number 替代 pull_request_id
将所有 skill 文档中对 pull_request_id 的引用替换为 pull_request_number,
与用户在网页 URL (/pulls/N) 中看到的序号一致。API 本身支持
pull_request_number,因此无需任何代码改动。

Fixes #7
wbtiger merged commit 00f72bccf7 into master 2026-05-12 14:28:30 +08:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Gitlink/gitlink-cli#10
No description provided.