you are right, I didn't think about the github client, but you also weren't mentioning that.
I am not a Github API expert so I don't know on which REST API the count you want is exposed.
A quick grep on the github client sources doesn't find any line containing 'issue' which returns an int
org.eclipse.egit.github.core (master)]$ git grep -i issue | grep int
README.md:classes are defined for the resources they interact with such as `IssueService`,
src/org/eclipse/egit/github/core/Issue.java: public Issue setComments(int comments) {
src/org/eclipse/egit/github/core/Issue.java: public Issue setNumber(int number) {
src/org/eclipse/egit/github/core/Milestone.java: private int closedIssues;
src/org/eclipse/egit/github/core/Milestone.java: private int openIssues;
src/org/eclipse/egit/github/core/Milestone.java: public int getClosedIssues() {
src/org/eclipse/egit/github/core/Milestone.java: public Milestone setClosedIssues(int closedIssues) {
src/org/eclipse/egit/github/core/Milestone.java: public int getOpenIssues() {
src/org/eclipse/egit/github/core/Milestone.java: public Milestone setOpenIssues(int openIssues) {
src/org/eclipse/egit/github/core/Repository.java: private int openIssues;
src/org/eclipse/egit/github/core/Repository.java: public int getOpenIssues() {
src/org/eclipse/egit/github/core/Repository.java: public Repository setOpenIssues(int openIssues) {
src/org/eclipse/egit/github/core/SearchIssue.java: public SearchIssue setComments(int comments) {
src/org/eclipse/egit/github/core/SearchIssue.java: public SearchIssue setNumber(int number) {
src/org/eclipse/egit/github/core/SearchIssue.java: public SearchIssue setPosition(int position) {
src/org/eclipse/egit/github/core/SearchIssue.java: public SearchIssue setVotes(int votes) {
src/org/eclipse/egit/github/core/SearchRepository.java: private int openIssues;
src/org/eclipse/egit/github/core/SearchRepository.java: public int getOpenIssues() {
src/org/eclipse/egit/github/core/service/IssueService.java: public Issue getIssue(String user, String repository, int issueNumber)
src/org/eclipse/egit/github/core/service/IssueService.java: public Issue getIssue(IRepositoryIdProvider repository, int issueNumber)
src/org/eclipse/egit/github/core/service/IssueService.java: int issueNumber) throws IOException {
src/org/eclipse/egit/github/core/service/IssueService.java: int issueNumber) throws IOException {
src/org/eclipse/egit/github/core/service/IssueService.java: int issueNumber, String comment) throws IOException {
src/org/eclipse/egit/github/core/service/IssueService.java: int issueNumber, String comment) throws IOException {
src/org/eclipse/egit/github/core/service/IssueService.java: String repository, int issueId) {
src/org/eclipse/egit/github/core/service/IssueService.java: String repository, int issueId, int size) {
src/org/eclipse/egit/github/core/service/IssueService.java: String repository, int issueId, int start, int size) {
src/org/eclipse/egit/github/core/service/PullRequestService.java: int issueId, String head, String base) throws IOException {
so I guess, if Github Rest API exposes such a method, it isn't implemented in the github client.
Maybe you want to contribute the missing functionality ? Let me know if you need help to get started.
-Matthias