github / github/app

[General] Cleanup "stale" closed PR red icon?

Open
#1,083 0 comments 0 reactions 0 assignees View on GitHub
Bugs General
Dominant language
No language data
Stars
2.1k
Forks
153
PR merge metrics
No merged PRs in 30d

Description

**Mood:** 😊
**Category:** General

Cleanup "stale" closed PR red icon? In one session, I ahd completed and merged a PR (well copilot actually did which I found inappropriate and wound-up deleting the PR). After this, I continued the session to further refine the work. But the icon for the session in the left view remained as the Red deleted icon for the full duration because the PR was linked as "closed" from then-on.

---
| Field | Value |
| --- | --- |
| App version | 0.2.34 |
| OS | Windows 10.0.26200 |
| Theme | GitHub |
| Path | /chat |
| Tenure | Week 2 |

Contributor guide

Open the contributing guide

Research direction

Start by reproducing the session state on /chat using the reported app version and a merged or deleted pull request. Trace how the left-view session icon reflects the linked pull request state; done means the icon no longer remains a red deleted indicator after the session continues or the pull request state changes.

Written by the indexing model from the issue text.

Assessment

Tech stack
github
Domain
desktop
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.