如何过滤具有特定合并日期的GitHub PR？
我使用以下过滤器让PR关闭2017-03-19以上; 但是,有没有办法过滤特定的日期.
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
ruf*_*er7 16
是的,你可以通过如下过滤来做到这一点:
is:pr is:closed merged:2017-03-19..2017-03-19 base:master sort:updated-desc
有关在GitHub中搜索问题和提取请求的更多信息,请参阅搜索问题文档.
- 如果有人在合并后向 PR 添加评论，则仍然算作“更新”。此方法中的一个小警告。我不确定还有哪些其他操作会更改更新时间。 (4认同)
- 对我很有用:) (2认同)
- @rufer7这种类型对我不起作用，并且在文档中没有提到：https://docs.github.com/en/search-github/getting-started-with-searching-on-github/sorting-search-results (2认同)
| 归档时间： |
|
| 查看次数： |
3111 次 |
| 最近记录： |