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

using graphql github api to filter pr's merged between two dates

如果您登录 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

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

再添加一个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