我使用下面的过滤器来获取在 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
是的,您可以通过如下过滤来实现:
is:pr is:closed merged:2017-03-19..2017-03-19 base:master sort:updated-desc
有关在 GitHub 中搜索问题和拉取请求的更多信息,请参阅搜索问题文档。
我知道问题指出了 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")'