Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/github/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Url 使用公共GitHub API以JSON格式获取所有合并的pull请求_Url_Github_Github Api - Fatal编程技术网

Url 使用公共GitHub API以JSON格式获取所有合并的pull请求

Url 使用公共GitHub API以JSON格式获取所有合并的pull请求,url,github,github-api,Url,Github,Github Api,我试图使用github API()在某个存储库上获取所有的关闭和合并的提交,我发现的唯一方法是检查已关闭的提交(API.github.com/repos/user/repo/pulls?state=closed),然后确保处的合并的\u不等于null,但这是一种缓慢的方式。有没有办法让github检查PR是否已关闭,是否已直接在url中同时合并?类似于api.github.com/repos/user/repo/pulls?state=closed?is_merged=true?并返回所有符合条

我试图使用github API()在某个存储库上获取所有的关闭和合并的提交,我发现的唯一方法是检查已关闭的提交(
API.github.com/repos/user/repo/pulls?state=closed
),然后确保
处的
合并的\u不等于
null
,但这是一种缓慢的方式。有没有办法让github检查PR是否已关闭,是否已直接在url中同时合并?类似于
api.github.com/repos/user/repo/pulls?state=closed?is_merged=true
?并返回所有符合条件的PRs


注意:这与
/repos/user/repo/pulls/pr_id/merge
无关,因为这只会告诉您是否合并了单个拉取请求,并且不会在PRs列表中到处搜索。

您可以在搜索查询中使用“is:merged”操作符
看看这个: