Skip to content

Show closed pull requests and issue states in Resources - #4

Merged
javiertoledo merged 1 commit into
theam:mainfrom
didelco:feature-resources-pr-issue-status
Oct 9, 2026
Merged

javiertoledo merged 1 commit into
theam:mainfrom
didelco:feature-resources-pr-issue-status

Conversation

@didelco

@didelco didelco commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • Issues say where they stand: ChecksMonitor asks GitHub about a session's open issues in one GraphQL query per tick, as it does for pull requests, and stops asking once they close.
  • Following main's rule (the icon's color says how it ended; the mark beside it is CI only): an issue closed as completed turns lilac, like a merged pull request. One closed as not planned or as a duplicate, or a pull request closed without merging, dims. Tooltips say how it closed.
  • The sidebar's pull request number turns lilac once the session's pull requests landed.

Rebuilt on main

main already marks merged pull requests (eba05cb: isMerged and a lilac ⇄), so this keeps only what is new here. Left out: the .merged/.closed check states and their marks, Theme.purple (a new hex in Theme.swift would enter the artwork palette), and the Merged/Closed prefix in the checks summary.

Test plan

  • swift test (114 tests, with IssueStateTests) and xcodebuild pass
  • The issue query checked against GitHub: open, completed and not planned answers, and a missing number answered with null
  • In the app: a session linking a merged and a closed pull request, and issues closed as completed and as not planned

🤖 Generated with Claude Code

- Issues say where they stand too: the monitor asks GitHub about a
  session's open issues in one GraphQL query per tick, as it does for
  pull requests, and stops asking once they close.
- An issue closed as completed turns lilac, like a merged pull
  request. One closed as not planned or as a duplicate, or a pull
  request closed without merging, dims. Tooltips say how it closed.
- The sidebar's pull request number turns lilac once the session's
  pull requests landed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@javiertoledo
javiertoledo force-pushed the feature-resources-pr-issue-status branch from b87924f to d0a60b1 Compare October 9, 2026 17:17
@javiertoledo javiertoledo changed the title Show merged/closed pull requests and issue status in Resources Show closed pull requests and issue states in Resources Oct 9, 2026
@javiertoledo
javiertoledo merged commit 56ad085 into theam:main Oct 9, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants