gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-04 09:45:41 27 4
gpt4 key购买 nike

我使用下面的过滤器使PR在2017-03-19之前关闭;但是,有没有一种方法可以过滤特定日期。

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


enter image description here

以下失败:

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中搜索问题和请求请求的更多信息,请参见 Searching issues documentation

关于github - 如何过滤具有特定合并日期的GitHub PR?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42922023/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com