docs(repos): document managing repos from the dashboard - #355
Open
tildesrc wants to merge 1 commit into
Open
Conversation
quickstart registers only the repo you run it in; adding or reconfiguring other repos was documented only via raw REST. Add a "Managing repos from the dashboard" walkthrough to docs/repos.md covering the `g` modal (n/e/s keys) and the repo form's general + workflows tabs, verified against RepoFormScreen/ReposScreen in dashboard.py. Point the README and overview at it. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
panopticon quickstartregisters only the repo you run it in and enables its matching workflow. Adding or reconfiguring other repos was documented only via raw REST, even though several docs already tell readers to "press `g`, edit the repo, check the workflows" without explaining that form.This adds a "Managing repos from the dashboard" walkthrough to
docs/repos.md:grepos modal and its keys —nadd,eedit,srun the repo'ssetup-repo(token) task, esc close.git_url,id,name,default_base, the reference fields, and the privileged docker toggle) and workflows (the per-workflow opt-in/opt-out checklist where you enablegithub-self-reviewedand friends).The existing REST list becomes a sibling "Managing repos over REST" section. The README and
overview.mdnow point at the new walkthrough.Fields and keys were verified against
RepoFormScreen/ReposScreenand theghotkey insrc/panopticon/terminal/dashboard.py(the form exposes a single privileged-docker toggle, not a raw capabilities map, and includes ahook_filefield).🤖 Generated with Claude Code