使用graphql github api过滤两个日期之间合并的PR

Question

如果您登录https://developer.github.com/v4/explorer/ 并运行此查询

{
  search(query: "org:ruby is:pr merged:<2019-07-11", type: ISSUE, last: 5) {
    edges {
      node {
        ... on PullRequest {
          url 
          mergedAt
          commits(first: 12) {
            totalCount 
          }
        }
      }
    }
  }
}

我可以获取2019-07-11之前合并的所有公关 我想在2019-07-11之前和2019-07-04之后合并公关

使用query: "org:ruby is:pr merged:<2019-07-11 and is:pr merged:>2019-07-04 "不会过滤。有没有一种优雅的方法可以做到这一点？

Answer 1

只需添加另一个merged条件：

org:ruby is:pr merged:<2019-07-11 merged:>2019-07-04

或使用范围语法：

org:ruby is:pr merged:2019-07-04..2019-07-11

有关其他详细信息，请参见here。