использование graphql github api для фильтрации pr, объединенных между двумя датами

если вы войдете в 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 
          }
        }
      }
    }
  }
}

Я могу получить все PR, которые были объединены до 11.07.2019 Я хотел бы объединить PR до 2019-07-11 И после 2019-07-04

использование query: "org:ruby is:pr merged:<2019-07-11 and is:pr merged:>2019-07-04 " не фильтрует. Есть ли элегантный способ сделать это?


person eiu165    schedule 25.07.2019    source источник


Ответы (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

Дополнительные сведения см. здесь.

person Daniel Rearden    schedule 25.07.2019