From 5c302be888b4c29ebb0068e3b050514aed00f7cc Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 30 Oct 2026 09:20:09 -0500 Subject: [PATCH] Docs: link the repo files the prose names --- docs/how-it-works/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/how-it-works/index.md b/docs/how-it-works/index.md index 8bdf576d7..43288ecba 100644 --- a/docs/how-it-works/index.md +++ b/docs/how-it-works/index.md @@ -8,7 +8,7 @@ The index is a fork of [micropython-lib](https://github.com/micropython/micropyt When a repository releases, it sends a publication request. Requests run one at a time through [`process-mip-publication-request.yml`](../../.github/workflows/process-mip-publication-request.yml), and each one updates the package's pin in the lockfile. Every deploy then syncs all the pinned sources again before it publishes, so one release can't leave another package stale. The lockfile also says which repository may publish each package, and a request from any other repository is refused. -After each deploy, [`scripts/update_package_list.py`](../../scripts/update_package_list.py) reads the live index back and rewrites `packages.json` and the [package list](../reference/packages.md), so the list always matches what's actually being served. +After each deploy, [`scripts/update_package_list.py`](../../scripts/update_package_list.py) reads the live index back and rewrites [`packages.json`](../../packages.json) and the [package list](../reference/packages.md), so the list always matches what's actually being served. ## Only the latest version