through the GitHub API, is it possible to get the number of open pull requests for a repository without downloading all the extra data related to the pull requests themselves?
For example, when you get the list of your repositories, for each of the repo you can see the number of open issues. Is there a similar property for open pull requests?