Repository navigation
Hide platform/contributors from navigation until launch - #57
SyedFahad7 wants to merge 1 commit into
Conversation
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.
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Automations to automatically generate PRs for you. |
![graphify-labs-staging[bot]](https://avatars.githubusercontent.com/in/4517131?s=60&v=4){kind=small}
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
Removes the contributors page from the People navigation group in docs.json. The sidebar now shows only the profile entry under People, with no fallback or separate route for contributor listings.
No blocking issues surfaced.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 67 functions depend on the 67 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 — 67 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: 67 function(s) in the blast radius were not formally verified this run
PR #52 noted Contributors is hidden until launch, but
platform/contributorswas still in the Cloud tab's People group ofdocs.json, so it shows in the live sidebar.platform/contributors.mdxstays in the repo (the URL still resolves directly) so relaunching is a one-line revert.mint broken-linksstays clean.