zhifu gao fab7d8de52 Use gh auth token for growth metrics ...

Fallback to the local gh auth token when GITHUB_TOKEN is not set so growth metrics runs avoid anonymous API rate limits. Also mock the gh token lookup in the regression test for cross-platform compatibility.

2026-06-30 12:34:02 +08:00

..

collect_growth_metrics.py

Use gh auth token for growth metrics

2026-06-30 12:34:02 +08:00

gen_api_docs.py

docs: generate pages with shared stylesheet

2026-05-21 13:27:58 +00:00