dsh-github-workbench
Github Workbench
DSH plugin: Provides a “GitHub Workbench” in the dsh-better-sidebar sidebar—remote repository directory tree + Issues/PR/Actions tabs, with support beyond reading for creating Issues/PRs, commenting, merging, and rerunning CI; automatically falls back to a standalone right-side panel when better-sid
The plugin will be installed here. Keep web if you are unsure.
npx -y @deepseek-ai/dsh plugin --profile web add github:meyaomiao/dsh-github-workbench#63d6791cd136ed116a6d3990f4e2b750dacc55cf
Description
DSH plugin: Provides a “GitHub Workbench” in the dsh-better-sidebar sidebar—remote repository directory tree + Issues/PR/Actions tabs, with support beyond reading for 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.3.0. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.
- DSH compatibility
- *
- Runtime surfaces
- web
- Release source
- github
- Registry updated