Skip to content

feat(github-app): add PR panel rerun checkbox - #431

Merged
JSONbored merged 1 commit into
mainfrom
codex/gittensory-retrigger-checkbox
Jun 5, 2026
Merged

feat(github-app): add PR panel rerun checkbox#431
JSONbored merged 1 commit into
mainfrom
codex/gittensory-retrigger-checkbox

Conversation

@JSONbored

Copy link
Copy Markdown
Owner

Summary

  • Add a maintainer-facing rerun checkbox to the sticky Gittensory PR panel.
  • Handle checked task-list edits on the bot-authored panel by rerunning the normal PR public-surface pipeline and resetting the checkbox in place.

What changed

  • Added a stable hidden rerun marker below Contributor next steps.
  • Added an issue_comment.edited handler that only accepts checked rerun tasks on Gittensory's own sticky panel.
  • Audits successful and skipped rerun attempts without creating duplicate comments.
  • Added unit coverage for rerun, ignored edits, skipped reruns, and closed-PR defensive paths.

Why

Maintainers need a low-friction way to refresh Gittensory's PR review data after other PRs merge or repo context changes, without posting a new bot comment.

Validation

  • npx vitest run test/unit/signals-coverage.test.ts test/unit/queue.test.ts
  • npm run typecheck
  • npm run test:coverage
  • npm run test:ci

Add a sticky PR panel checkbox that maintainers can check to rerun Gittensory review from the existing bot comment. The issue_comment handler validates the checked task against the Gittensory panel marker, reruns the normal public surface pipeline, resets the checkbox in place, and audits skipped rerun attempts.

Validation: npm run test:ci
@ghost

ghost commented Jun 5, 2026

Copy link
Copy Markdown

Note

Gittensory Gate skipped

PR closed before full evaluation. No late first comment was created.

Signal Result Evidence Action
Gate result ⚠️ Skipped #431 is no longer open. No action.

Checked by Gittensory, a quiet PR intelligence layer for OSS maintainers.

@ghost ghost added the gittensory:reviewed label Jun 5, 2026
@JSONbored
JSONbored merged commit 13efba3 into main Jun 5, 2026
8 of 9 checks passed
@JSONbored
JSONbored deleted the codex/gittensory-retrigger-checkbox branch June 5, 2026 20:42
@github-project-automation github-project-automation Bot moved this from Todo to Done in gittensory - v1 roadmap Jun 5, 2026
@JSONbored JSONbored added the gittensor:feature Gittensor-scored feature linked to a feature issue — scores a 0.25x multiplier. label Jun 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gittensor:feature Gittensor-scored feature linked to a feature issue — scores a 0.25x multiplier.

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant