dsh-github-workbench
Github Workbench
DSH plugin: Provides a “GitHub Workspace” in the dsh-better-sidebar sidebar—remote repository directory tree plus Issues/PR/Actions tabs; in addition to reading, supports creating Issues/PRs, commenting, merging, and rerunning CI; automatically falls back to a standalone right-side panel when better
The plugin will be installed here. Keep web if you are unsure.
npx -y @deepseek-ai/dsh plugin --profile web add dsh-github-workbench@0.2.4
Description
DSH plugin: Provides a “GitHub Workspace” in the dsh-better-sidebar sidebar—remote repository directory tree plus Issues/PR/Actions tabs; in addition to reading, supports creating Issues/PRs, commenting, merging, and rerunning CI; automatically falls back to a standalone right-side panel when better-sidebar is not installed
Compatibility and provenance
Github Workbench is published as dsh-github-workbench and currently resolves to version 0.2.4. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.
- DSH compatibility
- *
- Runtime surfaces
- web
- Release source
- npm
- Registry updated