关于GitHub Webhook payload中pull_request的number与id差异的问询

先明确已知的number属性 #

number是仓库内唯一的PR编号，按PR创建顺序递增，同一个仓库里不会重复——哪怕旧PR被关闭或删除，新PR的编号依然会延续之前的序列。比如示例里的1347，就是octocat/Hello-World仓库的第1347个PR。

关于未明确说明的id属性 #

id是GitHub平台全局唯一的Pull Request标识符，它是一个整数，用于在整个GitHub范围内区分所有PR，不会和其他仓库的PR重复。这个ID是永久绑定的，无论PR后续被关闭、合并或者修改，id都不会改变，也不会被其他新创建的PR复用。

示例里的id: 1，代表这是GitHub平台上创建的第一个PR，这个ID在全平台都是唯一的，不会出现在其他仓库的PR payload里。

这类id属性其实是GitHub API中很多资源（比如Issue、PR、Release等）的通用标识，官方文档有时会省略这类通用属性的单独说明，但它的全局唯一性是统一规则。

内容的提问来源于stack exchange，提问作者Chachatonel Hashimotto