Skip to content

docs: fix gean repository URL in CLAUDE.md#393

Merged
pablodeymo merged 1 commit into
mainfrom
fix/gean-url-in-claude-md
May 27, 2026
Merged

docs: fix gean repository URL in CLAUDE.md#393
pablodeymo merged 1 commit into
mainfrom
fix/gean-url-in-claude-md

Conversation

@MegaRedHand
Copy link
Copy Markdown
Collaborator

What

Fix the gean (Go) client link in CLAUDE.md.

Why

The link pointed to devlongs/gean, an outdated mirror (45 stars, last pushed Jan 2026). The canonical, actively-maintained repo is geanlabs/gean (82 stars, pushed today).

-- gean (Go): <https://github.com/devlongs/gean>
+- gean (Go): <https://github.com/geanlabs/gean>

The gean (Go) client link pointed to devlongs/gean, an outdated mirror
(last pushed Jan 2026). Point it at the canonical geanlabs/gean repo,
which is actively maintained.
@github-actions
Copy link
Copy Markdown

🤖 Kimi Code Review

This is a documentation-only change with no code modifications. The diff updates the repository URL for the "gean" Go client reference in CLAUDE.md (line 422).

Verdict: Trivial documentation fix. No security, correctness, or performance concerns.

The URL change from devlongs/gean to geanlabs/gean appears to reflect a repository transfer to a dedicated organization, which is a common and appropriate maintenance update. No further review action required.


Automated review by Kimi (Moonshot AI) · kimi-k2.5 · custom prompt

@github-actions
Copy link
Copy Markdown

🤖 Claude Code Review

PR #393 Review: docs: fix gean repository URL in CLAUDE.md

Scope: 1-line documentation change — updates the gean (Go) client URL from devlongs/gean to geanlabs/gean in the "Other implementations" section of CLAUDE.md.


Assessment

The change is correct. The new URL points to the canonical, actively-maintained geanlabs/gean repository, replacing the stale personal mirror at devlongs/gean. The PR description provides clear justification (more stars, recent activity).

No code, logic, or security concerns — this is a pure documentation fix.

Verdict: Approve. Nothing to flag; the update is accurate and the rationale is sound.


Automated review by Claude (Anthropic) · sonnet · custom prompt

@github-actions
Copy link
Copy Markdown

🤖 Codex Code Review

No findings.

The diff is a documentation-only change at CLAUDE.md, updating the gean repository URL. It does not touch consensus logic, state transition code, signature verification, SSZ handling, or any Rust runtime path, so I don’t see correctness, security, performance, or memory-safety impact from this PR.

I did not validate external URL reachability from this environment, but the codebase itself is unaffected.


Automated review by OpenAI Codex · gpt-5.4 · custom prompt

@greptile-apps
Copy link
Copy Markdown
Contributor

greptile-apps Bot commented May 27, 2026

Greptile Summary

Updates the gean (Go) client link in CLAUDE.md from an outdated mirror (devlongs/gean) to the canonical, actively-maintained repository (geanlabs/gean).

  • Replaces one URL in the related clients list; no logic, configuration, or test files are affected.
  • The PR description supports the change with activity metrics (star count and last-push date) indicating geanlabs/gean is the authoritative source.

Confidence Score: 5/5

Safe to merge — only a single documentation URL is changed.

The change is a one-line documentation update pointing to the correct upstream repository. There is no executable code, configuration, or schema involved.

No files require special attention.

Important Files Changed

Filename Overview
CLAUDE.md Single-line URL update replacing the outdated mirror devlongs/gean with the canonical geanlabs/gean repository link.

Flowchart

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A[CLAUDE.md - gean client entry] --> B{Old URL}
    B -->|devlongs/gean| C[Outdated mirror\n45 stars, last push Jan 2026]
    A --> D{New URL}
    D -->|geanlabs/gean| E[Canonical repo\n82 stars, actively maintained]
Loading

Reviews (1): Last reviewed commit: "docs: fix gean repository URL in CLAUDE...." | Re-trigger Greptile

@pablodeymo pablodeymo merged commit d3b364a into main May 27, 2026
6 of 7 checks passed
@pablodeymo pablodeymo deleted the fix/gean-url-in-claude-md branch May 27, 2026 17:57
pablodeymo pushed a commit that referenced this pull request May 28, 2026
## Summary

Reconciles `docs/metrics.md` with the implementation and the pinned
[leanMetrics spec](https://github.com/leanEthereum/leanMetrics). 11
implemented metrics were undocumented; 2 spec metrics ethlambda doesn't
implement were missing entirely.

### Metrics doc changes
- **New Block Production Metrics section** (all in spec, supported):
`lean_block_aggregated_payloads`,
`lean_block_building_payload_aggregation_time_seconds`,
`lean_block_building_time_seconds`, `lean_block_building_success_total`,
`lean_block_building_failures_total`
- **Fork-Choice:** `lean_node_sync_status`
(`status=idle,syncing,synced`)
- **Network:** `lean_gossip_mesh_peers` (`client` label)
- **State Transition:** spec's `lean_justified_slot` /
`lean_finalized_slot` added as unsupported (ethlambda only emits the
`latest_*` variants)
- **Custom (non-leanMetrics):** new Storage subsection
(`lean_table_bytes`) and Attestation Aggregate Coverage subsection
(`lean_attestation_aggregate_coverage_validators` / `_subnets` /
`_diff_validators`)

Verified existing rows for drift: `finalizations_total`, `node_info`,
and reqresp `protocol` labels all match the code.

### Other
- `coverage.rs`: `TODO` flagging the reserved-but-unpopulated per-subnet
(`subnet_N`) breakdown, matching the note in the doc
- `introduction.md`: fix stale gean repo URL (`devlongs/gean` ->
`geanlabs/gean`), consistent with the CLAUDE.md fix in #393

## Test plan
Docs + one comment change only; no code behavior affected.
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