Full re-verification: 96 → 131 merged, verifier tool + weekly CI - #2
Merged
Merged
Conversation
- tools/verify_dashboard.py: checks each linked PR's state via GitHub, recounts per-developer and total merged, and lists unlisted PRs by listed contributors since a cutoff (candidates only) - Apply its findings: 10 'open' PRs had merged (96 -> 106 merged), 23 had closed unmerged; Alex Xie's merged PRs get direct links - Weekly workflow + on PRs touching README - Remove README-backup-20260712.md Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Owner
Author
Unlisted PRs by listed contributors since 12 July 2026Candidates only. Apply How We Count before adding. Generated with
Dashboard matches GitHub. |
This was referenced Sep 26, 2026
Merged
Applied How We Count: Bitcoin/Lightning repos in; Stellar, Cardano, Docker and two unconfirmed repos out (listed in the monthly log). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
code-orange-dev
changed the title
Owner
Author
|
Update: I went through the post-July candidates against How We Count and added the in-scope ones in this PR.
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What the verifier found
I ran a new
tools/verify_dashboard.pyagainst all 133 linked PRs:--strictpasses)Not done here, on purpose
PRs opened or merged since the 12 July cutoff aren't added. Deciding what's in scope (e.g. non-Bitcoin repos) is the PR Verifier's call under How We Count. The candidate list is in a comment below. The summary says this explicitly ("7 linked, post-July PRs pending review").
Tooling
python3 tools/verify_dashboard.py [--since YYYY-MM-DD] [--strict]needs no dependencies and usesGITHUB_TOKENorgh auth.github/workflows/verify.ymlruns it every Monday (the contract's weekly check), on PRs touching the README, and on demand with asinceinput. The report goes to the job summaryAlso removes
README-backup-20260712.md, which is still in git history.🤖 Generated with Claude Code