infra: move developer-tools to top-level section#251
Merged
Conversation
Member
Author
|
Heads up: PR #204 follow-up work (branch
When this PR moves |
raymondk
pushed a commit
that referenced
this pull request
May 15, 2026
## Summary Addresses all feedback from @robin-kunzler posted on PR #204 after merge. - **`identity-and-access-management.mdx`**: Link both mentions of "ICP JavaScript agent" to the developer-tools page (`#javascript--typescript` section), rather than the GitHub repo as originally suggested; internal docs link is more useful for readers - **`data-integrity-and-authenticity.md`**: Add link to `calling-from-clients.md` after the update/query/composite_query intro paragraph; append certified-variables guide link at the end of the certified data concept paragraph - **`https-outcalls.md`**: Link inline "pricing" directly to `cycles-costs.md#https-outcalls` anchor - **`observability-and-monitoring.md`**: Restore the two original portal sections ("Expose metrics from your canister" and "Do not publicly reveal a canister's cycles balance") that had been collapsed into a single generic section during the 1:1 port - **`references/message-execution-properties.md`**: Convert Property 1–11 from bold bullet points to `####` subheadings so cross-links (e.g. "Property 5") can anchor directly - **`references/index.md`**: Add `message-execution-properties.md` to the Specifications section so it appears in the navigation (Robin reported the page was not findable) **Note on developer-tools links**: The two links in `identity-and-access-management.mdx` currently point to `references/developer-tools.md#javascript--typescript`. When PR #251 (`infra/developer-tools-section`) merges, those paths will move to `developer-tools/index.md#javascript--typescript`. A comment has been left on PR #251 to flag this. Whichever PR merges second handles the one-line update; the build will catch it. ## Sync recommendation `sync from dfinity/portal — building-apps/security/observability-and-monitoring.mdx`
…tion Gives the page a URL (/developer-tools) that matches its navigational role as a toolchain discovery page rather than a spec lookup reference. Also creates room for sub-pages (icp-cli overview, etc.) under the same slug.
References to `references/developer-tools.md` in the security guide were not updated when the file moved to `developer-tools/index.md`.
marc0olo
force-pushed
the
infra/developer-tools-section
branch
from
e3a413a to
197dae0
Compare
adamspofford-dfinity
approved these changes
May 18, 2026
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
3 participants
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.
Summary
docs/references/developer-tools.md→docs/developer-tools/index.mdreferences/developer-toolstodeveloper-tools(URL:/developer-tools)references/index.md,guides/ai-coding-agents.md,guides/canister-calls/calling-from-clients.md, andguides/security/identity-and-access-management.mdx(the last two links added by PR docs(security): address post-merge feedback from Robin on PR 204 #253 after this branch was originally created)The page is a navigational toolchain catalogue, not a spec or lookup reference. Its sidebar placement was already top-level (outside the References accordion), but the URL said
/references/developer-tools. This aligns the URL with the navigational role and opens the section for future sub-pages.Sync recommendation
hand-written