Skip to content

fix(identity): exclude broken repos from stuck leaderboard alarm - #202

Merged
harlan-zw merged 2 commits into
mainfrom
fix/issue-200
Sep 14, 2026
Merged

harlan-zw merged 2 commits into
mainfrom
fix/issue-200

Conversation

@harlan-github-agent

Copy link
Copy Markdown
Contributor

🔗 Linked issue

Closes #200

❓ Type of change

  • 📖 Documentation
  • 🐞 Bug fix
  • 👌 Enhancement
  • ✨ New feature
  • 🧹 Chore
  • ⚠️ Breaking change

📚 Description

The nightly check-in flagged iamzhihuix/happy-claude-skills as a stuck leaderboard approval every night. The repo was deleted upstream on 2026-09-04 (404 verified), so its repos row carries broken_since and no healthy skill row can ever exist again. The stuck query read that permanent absence as "review never became visible", refiring the alarm and driving both archived reports AMBER.

A review on a repo whose repos row is already broken describes a known state: the breakage is reported by the broken-repo metrics. The stuck query now skips reviews whose repo is marked broken. Reviews with no repos row at all still alarm, since those are the ones genuinely waiting on the pipeline.

I did not backfill or silence the historical AMBER reports; the next nightly run goes quiet on its own.

🤖 AI disclosure: Harlan Agent Kit modified this description. My AI open-source policy.

@harlan-github-agent harlan-github-agent Bot added harlan-agent-running An Agent holds a Task on this issue or pull request right now. harlan-agent-review-required Pull request triage requires an adversarial Review for this head commit. labels Sep 11, 2026
@harlan-github-agent

harlan-github-agent Bot commented Sep 11, 2026 •

Copy link
Copy Markdown
Contributor Author

🤖 MERGED

Harlan Agent Kit posted this automated review. It is not Harlan's personal review or approval. AI open source policy. Last updated: 2026-09-14 09:11 UTC.

GitHub merged this pull request.

No material findings were recorded.

The pull request closed.

@harlan-github-agent harlan-github-agent Bot added harlan-agent-blocked The automated Review found a material defect in this head commit. and removed harlan-agent-running An Agent holds a Task on this issue or pull request right now. harlan-agent-review-required Pull request triage requires an adversarial Review for this head commit. labels Sep 11, 2026
@harlan-github-agent harlan-github-agent Bot added harlan-agent-running An Agent holds a Task on this issue or pull request right now. and removed harlan-agent-blocked The automated Review found a material defect in this head commit. harlan-agent-running An Agent holds a Task on this issue or pull request right now. labels Sep 14, 2026
@harlan-zw
harlan-zw merged commit 8f9b8c9 into main Sep 14, 2026
5 checks passed
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.

Leaderboard stuck alarm refires on upstream-deleted repos

1 participant