有没有办法在GitHub上按合并日期查找PR?实际上是在日期范围内合并的PR。
没发现任何方法,感觉很奇怪,所以向社区提问。谢谢。
没发现任何方法,感觉很奇怪,所以向社区提问。谢谢。
使用PR GitHub API无法通过日期或"merge_at"字段日期查询PR。
您可以查看类似于file-suggest_backports-py-L333
(python)的脚本,以按日期获取和排序PR。
# Now get all PRs and filter by whether or not they belong to the
# milestone; requesting them all at once is still faster than
# requesting one at a time. This would also be easier if the API
# supported sorting on PR lists
for pr in self.iter_pull_requests(state='closed'):
if (pr['number'] not in milestone_issues or not pr['merged_at']):
continue
merge_commit = self.get_pull_request_merge_commit(pr['number'])
# Ignore commits that were merged before the last tag date
if merge_commit['commit']['committer']['date'] < last_tag_date:
continue
if not self.find_merged_commit(merge_commit,
since=last_tag_date):
yield pr, merge_commit['sha']
您也可以使用Github网站根据合并时间进行搜索,具体方法请参考文档:https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-when-a-pull-request-was-merged
您可以使用merged限定符来过滤已合并的pull requests。
该限定符需要一个日期作为参数。日期格式必须遵循ISO8601标准,即YYYY-MM-DD(年-月-日)。您还可以在日期后添加可选的时间信息THH:MM:SS+00:00,以按小时、分钟和秒进行搜索。这是T,后跟HH:MM:SS(小时-分钟-秒),再加上UTC偏移量(+00:00)。
以下是一个示例:
language:javascript merged:<2011-01-01
匹配在2011年之前已合并的JavaScript存储库中的pull requests。