Repository navigation
Document the inactivity pause for Free workspaces - #205
Conversation
|
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. Try requesting a review at a lower effort level.
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.
![graphify-labs-staging[bot]](https://avatars.githubusercontent.com/in/4517131?s=60&v=4){kind=small}
There was a problem hiding this comment.
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 pausing for inactive Free workspaces: after 7 days without sign-in, MCP calls, or Ask usage, Graphify halts indexing, linked-graph builds, and PR reviews while preserving existing graphs; owners resume manually via the Repositories banner and trigger a catch-up build. Pro and Teams workspaces never pause. Rate-limit responses now surface a “Workspace paused” message that points to the new section.
No blocking issues surfaced.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 26 functions depend on the 26 functions this change touches.
Health — grade A; no new coupling hotspots.
Verification — 26 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: 26 function(s) in the blast radius were not formally verified this run
Adds a short section to Plans and pricing explaining when an unused Free workspace pauses, what counts as use, how to resume from the Repositories banner, and that resuming catches up changed repositories. Nothing is deleted and existing graphs stay readable.
Also adds the Workspace paused message to the plan limit messages table on Rate limits, linking to the new section.