Codex app: Hide pull requests from archived repositories in the PR inbox

What version of the Codex App are you using?

26.707.72221

What subscription do you have?

Not relevant / unknown

What platform is your computer?

macOS 26.5.2 (arm64)

What issue are you seeing?

The Codex Pull requests inbox shows open pull requests whose base repository has been archived.

Because archived GitHub repositories are read-only, these pull requests may be impossible for the author to close when they do not control the base repository. Codex currently offers no per-PR dismiss or hide action, so the stale pull request remains permanently visible under Authored → Open.

Public example:

• Pull request: https://github.com/jesse-ai/dashboard/pull/2
• Base repository: https://github.com/jesse-ai/dashboard
• PR state: open
• Base repository state: archived
• The original fork has already been removed, but the PR remains open and listed by Codex.

What steps can reproduce the bug?

1. Author a pull request against a GitHub repository.
2. Have the base repository archived while the pull request is still open.
3. Open the Codex app.
4. Navigate to Pull requests → Authored → Open.
5. Observe that the pull request is still listed and cannot be dismissed.

What is the expected behavior?

Pull requests whose base repository is archived should not appear in the Codex Pull requests inbox.

At minimum, Codex should provide a local Dismiss action for pull requests that cannot be closed or otherwise changed by the current user.

Additional information

The Pull requests inbox already supports lifecycle, repository, and authored/reviewing filters, but no per-item hide or dismiss action.

A minimal fix would be to exclude results when the base repository reports GitHub's archived / isArchived flag.