Vijay Janapa Reddi 5f97cca590 Merge remote-tracking branch 'origin/dev' into dev

2026-04-22 16:16:00 -04:00

..

build-redirects.py

PR-5: Cutover skeletons (rollback-legacy + redirect map + sitemap aggregator) (#1409)

2026-04-19 16:22:11 -04:00

build-sitemap.py

PR-5: Cutover skeletons (rollback-legacy + redirect map + sitemap aggregator) (#1409)

2026-04-19 16:22:11 -04:00

check-internal-links.py

fix(ci): clear all 8 failing pre-commit hooks on dev (#1413)

2026-04-20 12:58:28 -04:00

find-duplicates.py

PR-3: Scripts, audits, cleanup (build stamp, PDF dropdown, 404s, mirror guard, dedup, RELEASE-PREP) (#1406)

2026-04-19 16:23:26 -04:00

inject-build-stamp.sh

PR-3: Scripts, audits, cleanup (build stamp, PDF dropdown, 404s, mirror guard, dedup, RELEASE-PREP) (#1406)

2026-04-19 16:23:26 -04:00

rollback-legacy.sh

PR-5: Cutover skeletons (rollback-legacy + redirect map + sitemap aggregator) (#1409)

2026-04-19 16:22:11 -04:00

site-audit.mjs

PR-2: Visual polish (announcement bars, theme persistence, dev-mirror fix, audit script) (#1405)

2026-04-20 09:05:52 -04:00

subscribe-modal.js

refactor(tinytorch): rename site-quarto/ to quarto/

2026-04-22 14:38:18 -04:00

sync-mirrors.sh

Merge remote-tracking branch 'origin/dev' into dev

2026-04-22 16:16:00 -04:00

theme-persist.js

PR-2: Visual polish (announcement bars, theme persistence, dev-mirror fix, audit script) (#1405)

2026-04-20 09:05:52 -04:00