Repository navigation
Restore Contributors to Release Notes - #54
Conversation
Contributors is live for all users, so the docs page goes back in the sidebar.
…nsole and platform lines
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Automations to automatically generate PRs for you. |
There was a problem hiding this comment.
Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota.
An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.
There was a problem hiding this comment.
Graphify reviewed this change.
No issues found by static checks — no coupling regressions or blocking issues in the code graph. That is not the same as safe to merge: see what was not checked.
Not checked: tests were not run; no formal proof of the changed code.
Graphify review — findings
Adds a Contributors page to the console sidebar that ranks people by graph reach, shows signed and AI-assisted commits, and surfaces tamper-risk flags with evidence for supply-chain review. Anyone with read access to a repository can open it; the page appears in Overview, the learning nav, and the local-to-cloud migration notes.
No blocking issues surfaced. 1 lower-confidence candidate did not survive cross-model review.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 201 functions depend on the 201 functions this change touches.
Health — grade A; 2 existing hotspot(s) in the area this change touches (pre-existing, not introduced here):
instructions— 0 callers, 9 callees (medium)options— 0 callers, 8 callees (medium)
Verification — 201 functions in the blast radius were not formally verified this run (proofs are advisory here).
Gate & verification
graphify gate
PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.
Advisory (not blocking):
- verification_scope: 201 function(s) in the blast radius were not formally verified this run
Contributors is live for every user. It sits behind one global switch that is on in production, with no plan gating, and anyone who can read a repository can open it, members included. #51 removed it from Release Notes and #52 hid its docs page because the code default for
contributors_enabledis off. That was wrong: the production setting is on.This PR fixes both:
platform/contributorsis back in the sidebar, the Console tour, Overview and Local-to-cloud, and the prev/next links are restored.mint broken-linkspasses.