Skip to content

docs(gator): require inline review comments#2346

Merged
johntmyers merged 1 commit into
mainfrom
docs/gator-inline-reviews/jtm
Jul 17, 2026
Merged

docs(gator): require inline review comments#2346
johntmyers merged 1 commit into
mainfrom
docs/gator-inline-reviews/jtm

Conversation

@johntmyers

Copy link
Copy Markdown
Collaborator

Summary

Require gator to submit actionable, diff-anchorable findings as inline comments in one batched GitHub review. The review summary and all inline comments now share a single same-SHA disposition.

Related Issue

N/A

Changes

  • Require batched pull-request reviews for actionable line-specific findings.
  • Define markers and head-SHA semantics for a review with inline comments.
  • Add same-SHA guard coverage for batched reviews.

Testing

  • bash scripts/agents/gator/bin/gh_guard_test.sh
  • Skill validation via quick_validate.py
  • git diff --check
  • mise run pre-commit (stopped at operator direction; not completed)
  • Unit tests added/updated (not applicable)
  • E2E tests added/updated (not applicable)

Checklist

  • Follows Conventional Commits
  • Commit is signed off for DCO compliance

Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
@johntmyers
johntmyers merged commit 0606202 into main Jul 17, 2026
32 checks passed
@johntmyers
johntmyers deleted the docs/gator-inline-reviews/jtm branch July 17, 2026 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants