如何过滤具有特定合并日期的 GitHub PR?

问题描述 投票:0回答:2

我使用下面的过滤器来获取在 2017-03-19 以上关闭的 PR;但是,有没有办法用特定日期进行过滤。

is:pr is:closed merged:>=2017-03-19 base:master sort:updated-desc

以下失败:

is:pr is:closed merged:=2017-03-19 base:master sort:updated-desc
github
2个回答
167
投票

是的,您可以通过如下过滤来实现:

is:pr is:closed merged:2017-03-19..2017-03-19 base:master sort:updated-desc 

有关在 GitHub 中搜索问题和拉取请求的更多信息,请参阅搜索问题文档


0
投票

我知道问题指出了 github Web GUI,但认为值得一提的是 github CLI

gh search prs
命令,它也可以获取该信息,如果您想获取 json 格式的结果以在脚本中进行操作,它甚至可能更有用.

简单

我在 github 上的所有 PR 的日期范围

gh search prs --author @me --merged-at 2024-01-01..2024-04-01

格式化输出

相同的查询,但将默认限制(或 30)增加到 100 并使用内置

jq
来格式化输出

gh search prs --author @me --merged-at 2024-01-01..2024-04-01 \
    --json title,url,repository -L 100 \
    --jq '.[]|(.repository.name + " | " + .title + "\n    " + .url + "\n")'

查看更多

© www.soinside.com 2019 - 2024. All rights reserved.