dsh-pr-board

Configure / 配置

1. Click the PR Board widget at the bottom of the sidebar (or press Alt+P). On first open you're prompted to add a repository (owner/name, e.g. octocat/hello-world).
2. Multiple repositories: the widget lists every monitored repo with its own Me / Author / Ready / Inbox counters. The + button in the widget header (or on the board's tab bar) adds another repo; hovering a tab in the board shows an × to stop monitoring it (removal lives inside the board only). Repos are identified by short name, falling back to the full owner/name when two monitored repos share a name.
3. GitHub username — set via Settings; leave blank to auto-use the gh login account (one identity across all repos).
4. Review workspaces — also in Settings, configured per repo with no global default: every repo carries an explicit workspace, and repos without one open their cards on GitHub. When set, clicking a PR card jumps into the matching conversation inside DSH. Sessions are matched through a local PR→session binding table first, then by title search (repo#N, which works once a session's LLM-generated title exists); a miss creates a new session in the configured workspace, binds it, and — unless auto-prompt is off — sends it a first message naming the PR plus the board's own snapshot (state, CI, flags), asking it to summarize what has recently happened on the PR (events and standing, not a code walkthrough) and then ask what you'd like to do. That first message is also what generates the session title. With no workspace set (or via the per-card ↗ button) cards open GitHub.
5. Config is shared across devices: account-wide fields (repos, username, review workspace, auto-prompt, inactivity window) sync to the host (~/.dsh/pr-board.config.json); each browser keeps only its poll interval. A new device picks the config up on first load; edits converge on every poll.

配置跨设备共享：账号级字段（仓库列表、用户名、review workspace、自动 prompt、不活跃天数）同步到 host（~/.dsh/pr-board.config.json），每个浏览器 只保留自己的轮询间隔。新设备首次打开即继承配置，改动在每次轮询时收敛。