dsh-at-github

Usage

Type @ in the composer. The standard trigger menu appears with the repository's recent issues and pull requests, grouped under the github header; keep typing to filter by number or title. Arrow keys navigate, Enter (or a click) picks, Escape closes. A search failure (gh CLI missing, not authenticated, rate limited, network error, unresolved repository) renders as one hint row instead of silently closing the menu.

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

State	Icon	Color
Open issue	issue-opened	green
Closed issue	issue-closed (check)	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 one of two texts, chosen in Settings (Insert format):

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

Before the agent starts a step, the Host scans the draft for GitHub references — URLs, @owner/repo#number forms, and bare #number tokens — and adds a short reference message for each:

The plugin passes the repository and number only — it never fetches issue bodies. The agent can inspect a reference with its available tools when the task requires it.

Configuration

Host plugin configuration goes into the selected profile's cordis.patch.yml:

- id: dsh-at-github
  config:
    defaultLimit: 20
    searchTimeoutMs: 15000
    repoCacheTtl: 30000

• defaultLimit caps entries per search (default 20).
• searchTimeoutMs bounds provider calls (default 15000).
• repoCacheTtl caches the resolved repository per workspace (default 30000 ms).