[Bug]: GraphQL openIssuesTotal counts open pull requests as issues
Summary
refreshRepoGithubTotals() stores repository.issues(states: OPEN).totalCount, which includes open PRs in GitHub’s GraphQL model. REST backfill already filters pull_request rows, but totals and GraphQL supplement do not.
Steps to reproduce
- Sync a repo with open issues and open PRs (e.g. totals where
issues.totalCount includes PR count).
- Compare
openIssuesTotal to REST issue-only count.
Expected behavior
openIssuesTotal reflects issues only, consistent with REST !issue.pull_request filtering.
Actual behavior
Total is inflated by open PR count; open-issue segments can stay partial and GraphQL supplement may upsert PRs as issues.
Impact
Incorrect sync completeness and polluted issue rows.
[Bug]: GraphQL
openIssuesTotalcounts open pull requests as issuesSummary
refreshRepoGithubTotals()storesrepository.issues(states: OPEN).totalCount, which includes open PRs in GitHub’s GraphQL model. REST backfill already filterspull_requestrows, but totals and GraphQL supplement do not.Steps to reproduce
issues.totalCountincludes PR count).openIssuesTotalto REST issue-only count.Expected behavior
openIssuesTotalreflects issues only, consistent with REST!issue.pull_requestfiltering.Actual behavior
Total is inflated by open PR count; open-issue segments can stay
partialand GraphQL supplement may upsert PRs as issues.Impact
Incorrect sync completeness and polluted issue rows.