You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
| A. Local workspace only, no PR context |`inactive`|`null`| none | No connected PR context. |
40
-
| B. Workspace is for an active, open PR |`active`| PR number | none | Push mode in PR controls. |
41
-
| C. Workspace is for a disconnected PR context |`disconnected`| last known PR number if available | none | Opening this workspace from Workspaces restores PR runtime context and verifies open/closed state with GitHub. |
42
-
| D. Workspace is for a PR closed on GitHub |`closed`| closed PR number | none | Historical context retained for debugging/reference. |
Reconnect behavior from the Workspaces drawer is implemented.
105
-
106
-
Opening a `disconnected` workspace record restores active PR runtime context for that repository and reinitializes editor state from the selected workspace record.
107
-
108
100
## End-Of-Session Behavior
109
101
110
-
`Disconnect` and `Close`are treated as end-of-session actions for PR-linked workspaces.
102
+
`Close`is the end-of-session action for PR-linked workspaces.
111
103
112
-
When either action is confirmed:
104
+
When close is confirmed:
113
105
114
-
1. The current workspace is archived as historical (`disconnected` or `closed`).
106
+
1. The current workspace is archived as historical (`closed`).
115
107
2. The app immediately switches to a fresh local workspace (`inactive`) with a single empty entry tab.
116
108
3. Status messaging guides the user to continue locally or reopen a stored workspace from Workspaces.
0 commit comments