github - 使用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 之前合并的所有 pr 我想在 2019-07-11 之前和 2019-07-04 之后合并 pr

usingquery: "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

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