In the DeepSeek Harness (DSH) Web interface, agents frequently need to reference Issues or Pull Requests in a repository when handling code-related questions. Manually copying URLs or switching between the browser and the editor interrupts the conversation flow and reduces efficiency. The bitxeno/dsh-github-picker plugin integrates the GitHub CLI, allowing users to search for and insert references directly in the chat input box without leaving the interface.

Plugin Overview

This plugin is maintained by bitxeno and belongs to the “Web Tools” category. It uses the gh CLI to retrieve Issue and Pull Request information for the current workspace repository and provides a search popup. Users can click the GitHub icon in the toolbar, filter locally, and select a reference. It supports the @owner/repo#number or URL format.

Core Features

  1. Local search and filtering: Enter a number or title in the popup, and the list is filtered in real time. A numeric prefix takes priority in matching Issue/PR numbers.
  2. Scroll loading: No result limit is enforced. The list displays 12 items per page and automatically loads more when scrolling to the bottom.
  3. Reference insertion: Clicking a list item inserts the selected reference into the input box. It supports the @owner/repo#number or URL format.
  4. Draft scanning: Before sending, the Host automatically scans the draft for GitHub references (URLs, @owner/repo#number, or plain #number) and displays matching information.
  5. Zero-dependency authentication: It depends only on the gh CLI, reuses the local gh login state, and does not require OAuth configuration or credential storage.

Installation and Enablement

Installing this plugin requires a DeepSeek Harness Web profile. Run the following command to install it:

dsh plugin --profile web add dsh-github-picker

After installation or update, the dsh web service must be restarted for the changes to take effect. The plugin is enabled by default after installation; no additional toggle is required.

Usage

  1. Open the search: In the toolbar of the chat input box, find and click the GitHub icon to open the search window.
  2. Filter results: Enter a number or title in the window to filter locally. Press Escape or click outside the window to close the popup.
  3. Insert a reference: Click a row in the list to insert the corresponding reference at the cursor position.
  4. Adjust the format: In the “Configurable Plugins” settings card, you can adjust the “Insert Format”. The default is @owner/name#number; it can also be switched to a GitHub URL.

Configuration

The plugin supports behavior adjustments through Host configuration. Edit the cordis.patch.yml file in the selected profile directory:

- id: dsh-github-picker
  config:
    searchTimeoutMs: 15000  # 搜索超时时间（毫秒）
    repoCacheTtl: 30000     # 仓库解析缓存时间（毫秒）

After modifying the configuration, the dsh web service must also be restarted.

Notes and Use Cases

  • Prerequisites: The gh CLI must be installed and configured, and the current workspace must have a git remote configured (used to resolve the repository URL).
  • Content limitations: The plugin only parses repository URLs and Issue/PR numbers; it does not retrieve detailed Issue content or the Body.
  • Permissions and security: The plugin runs with the permissions of the current DSH process. Ensure it is installed from a trusted source and check the license (MIT).
  • Use cases: Suitable for developers or technical assistants who need to quickly reference specific Issues or Pull Requests during a conversation.

Summary

By reusing the capabilities of the gh CLI, this plugin solves the pain point of quickly referencing GitHub issues in the Web interface. For more details and source code, visit the GitHub repository.