Repository navigation
report-skill-issue: check repository visibility before a report names a repository - #104
Merged
DocksDocks merged 3 commits intoOct 23, 2026
Conversation
The redaction rule told the agent to leave out private repository names, but it gave no way to decide what is private, and the scan found only machine paths and token shapes. Earlier reports named the private repository that the agent worked in. Stage 4 now resolves the user's project from its git remotes and runs `gh repo view github.com/<owner>/<repo>` for each remote and for every other repository that the draft names, with the host written out so that GH_REPO and GH_HOST cannot change the target. Anything that is not PUBLIC counts as private: the draft leaves out its owners, names, issue titles, and branch names, and writes its numbers without `#`, which would link to a DocksDocks/docks issue. Check before filing adds scans for the remote names and for repository references, and a paragraph explains how to remove private text from a filed issue, including its edit history. Stage 6 and the prefilled-link scripts also read the approved title from a file, as the body already is, so the shell cannot change it. Refs #103
The a5 baseline check showed an agent remove the # from a plan number inside quoted command output. GitHub does not link inside code spans and fenced blocks, so the rule now applies to prose only, and quoted output stays exact. Refs #103
…leter Code review round 1 of #103 found two text defects. The checklist and the gotcha row banned a `#` before private numbers everywhere, which contradicted stage 4's rule to keep quoted output exact; both now apply to prose only. Quoted output can keep a number's `#`, because GitHub does not link inside code, but private owners, repository names, titles, and branch names there become placeholders. The repair paragraph also said that only users with write access can delete a revision; the author of the text can too. Refs #103
DocksDocks
deleted the
103-report-skill-issue-check-repository-visibility-before-a-report-names-a-repository
branch
October 23, 2026 20:31
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
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.
Yolo run: #103 report-skill-issue: check repository visibility before a report names a repository
Pull request: #104. Checks: 5 of 5 passed. Reviewed head:
6eb23283.What changed
report-skill-issueskill now decides which repositories are public by lookup, not by memory: it reads the user's project from its git remotes and runsgh repo view github.com/<owner>/<repo> --json visibilityfor each remote and for every other repository that the draft names. The host is written out, soGH_REPOandGH_HOSTcannot change the target. Anything that is notPUBLICcounts as private (plugins/docks/skills/productivity/report-skill-issue/SKILL.md).#in prose, because#123would link to a DocksDocks/docks issue. Quoted output can keep a number's#, but private names there become placeholders.Decisions and corrections
gh repo viewfollows gh's default repository, and a bare<owner>/<repo>followsGH_HOST; the skill now names each remote with its host.Reviews
Plan review passed in round 3 (rounds 2 and 3 were delta rounds of 79 s and 34 s). Code review passed in round 2: round 1 was a three-lens panel with the self-review running at the same time, and round 2 was a delta round of 52 s.
Open findings: none.
Verification
bun scripts/ci.mjs --plugin docks: passed at the reviewed head.productivity/report-skill-issue15, as before; 294 lines.$HOME, and quotes arrived unchanged through the new stage 6 command and both link scripts.#, and filed with the title read from a file.Limits and failures
Kept resources
Merge now: none. The repository now deletes a merged branch automatically, and the plan's worktree is removed in teardown.Leave pull request open: the linked branch, its worktree, the open issue, and the pull request.After merge
Closes #103