dsh-github-picker
GitHub issue and pull request references for the DeepSeek Harness web GUI. Click the GitHub icon next to the send button to search the current workspace repository's issues and PRs, and insert a reference — a GitHub URL or an @owner/repo#number mention.
dsh-github-picker in the DeepSeek Harness web GUI
Install
dsh plugin --profile web add dsh-github-picker
The same command updates an existing installation to the latest published version; append @<version> to pin one. Restart dsh web after installing.
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:
<github-reference repo="owner/name" number="125" />
Only the repository and number are passed; issue bodies are never fetched.
Data Source
The gh CLI only: it reuses the local gh login and calls gh api search/issues (issues and PRs in one query). No device flow, OAuth app, or stored credential. The repository is resolved from the workspace's git remote get-url origin (https, ssh, git@ forms); without a resolvable remote, the popup shows a hint row on adding one.
Settings
The plugin card — titled "GitHub 引用" (or "GitHub Picker" in English) — lives in the official configurable-plugins tab. It shows the gh connection status (which accounts gh auth status reports) and the insert format (@owner/repo#number or GitHub URL). That is the only setting: there is no enable switch — the picker is always on — and no result limit.
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.
Development
pnpm install
pnpm run check
The check ladder is typecheck + tests + build with 100% coverage per source file; lib/ is committed, so profile installs run without a build. For a local checkout, add the package to ~/.dsh/profiles/web/package.json (dependency + dsh.profile.bundles), pnpm install, restart dsh web. The plugin serves at /plugins/dsh-github-picker/client.js, the gateway routes /api/githubPicker/*.
License
MIT
