message no. 175416
Posted by jhass in #github at 2019-10-23T14:34:31Z
fxfitz: maybe there's a way with the graphql API, no experience there. For the REST API I don't think you'll do it with a single query, but certainly possible with combining https://developer.github.com/v3/teams/#list-team-repos and https://developer.github.com/v3/pulls/#list-pull-requests