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).

dsh-at-github

AI 分析

インストール

ドキュメント

Usage

Configuration