docs: name --fresh in the tools page

This commit is contained in:
Abdessamad Derraz committed 2026-10-26 21:28:36 +01:00
1 parent 561a51480b
commit 1fc85ce601
1 file changed
+6
+6
View File
@@ -581,6 +581,12 @@ match no entry. Both land in the `--json` report (`new_files`, with
since the pin or an undeclared hash makes the profile stale. `--tree-diff`
shows added, removed and renamed files in the directories the refs point at.
Branch tips, tags and releases are cached for six hours. `--fresh` asks the
forges again for them, which matters right after an upstream commit or a
hand-set pin: a tip cached before the pin reads as behind it. It is refused
with `--offline`. A run that writes a profile also rebuilds the site's record
of cited source paths (`website/src/data/source-paths.json`).
Writes are explicit and mechanical only. `--backfill-commits` fills a
missing `source_commit`, `--rebase-refs` recales `SHIFTED` and `RENAMED`
line ranges and moves `source_commit` to HEAD with them, all or nothing,