chore(agents): fix pr-review-pool-supervisor tracking prefix AUTO-REV-POOL → AUTO-REV-SUP (complete fix) #7914

Closed
HAL9000 wants to merge 1 commits from improvement/agent-pr-review-pool-supervisor-tracking-prefix-complete into master

1 Commits

Author SHA1 Message Date
HAL9000 ee051ca00d chore(agents): clean up CONTRIBUTORS.md duplicate entry and PR artifacts
CI / benchmark-publish (pull_request) Has been skipped
CI / push-validation (pull_request) Successful in 43s
CI / helm (pull_request) Successful in 1m4s
CI / lint (pull_request) Successful in 1m14s
CI / build (pull_request) Successful in 1m20s
CI / quality (pull_request) Successful in 1m25s
CI / typecheck (pull_request) Successful in 1m45s
CI / security (pull_request) Successful in 1m45s
CI / unit_tests (pull_request) Successful in 4m55s
CI / e2e_tests (pull_request) Successful in 5m14s
CI / benchmark-regression (pull_request) Failing after 1m32s
CI / integration_tests (pull_request) Failing after 5m41s
CI / docker (pull_request) Successful in 1m42s
CI / coverage (pull_request) Successful in 17m27s
CI / status-check (pull_request) Failing after 3s
After the rebase onto master, the pr-review-pool-supervisor.md file was
deleted (replaced with pr-review-supervisor.md which already uses correct
AUTO-REV prefix). This commit cleans up remaining branch quality issues:
- Remove duplicate HAL 9000 entry in CONTRIBUTORS.md from rebase conflict resolution
- Clean up commit message artifacts
- Update CHANGELOG entry to reference the actual file (pr-review-supervisor.md)

ISSUES CLOSED: #7891
2026-05-07 15:12:44 +00:00