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
@dosubot dosubot Bot added the size:L This PR changes 100-499 lines, ignoring generated files. label Jun 5, 2026
@github-actions github-actions Bot added the feature New feature or request label Jun 5, 2026
@gittensory
Copy link
Copy Markdown

gittensory Bot commented Jun 5, 2026

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.

@gittensory gittensory Bot added the gittensory:reviewed Gittensor contributor context 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request gittensory:reviewed Gittensor contributor context size:L This PR changes 100-499 lines, ignoring generated files.

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant