dsh-github-picker

Usage

Click the GitHub icon in the composer's tool row. The popup lists the repository's recent issues and PRs — 12 per page, loading the next page as you scroll to the bottom, no result cap — filtered locally as you type by number or title (a number prefix ranks first). Click a row to insert the reference; Escape or a click outside closes the popup. A search failure (gh CLI missing, not authenticated, rate limited, network error, unresolved repository) renders as one localized hint row instead of a silent close.

Each row shows GitHub's state icon, the title, and the #number tag:

State	Icon
Open issue	issue-opened (green)
Closed issue	issue-closed (purple)
Open PR	git-pull-request (green)
Draft PR	git-pull-request-draft (gray)
Closed, unmerged PR	git-pull-request-closed (red)
Merged PR	git-merge (purple)

Picking inserts the text chosen as insert format in Settings:

@owner/name#125                                 # ref (default)
https://github.com/owner/name/issues/125        # url

Before each step, the Host scans the draft for GitHub references — URLs, @owner/repo#number, and bare #number — and adds a short message per match:

Only the repository and number are passed; issue bodies are never fetched.

Configuration

Host options go into the selected profile's cordis.patch.yml:

- id: dsh-github-picker
  config:
    searchTimeoutMs: 15000
    repoCacheTtl: 30000

• searchTimeoutMs bounds provider calls (default 15000).
• repoCacheTtl caches the resolved repository per workspace (default 30000 ms).

A Host config change needs a dsh web restart; a client-only change just needs a browser refresh.