fix(pi): reduce startup skill-token overhead #527

Merged

jason.woltje merged 2 commits from fix/pi-token-lean-skills into main

2026-06-05 18:36:43 +00:00

Author	SHA1	Message	Date
Jason Woltje	37d3b6e425	fix(git-tools): follow Gitea API redirects in CI wrappers Some checks failed ci/woodpecker/push/ci Pipeline failed Details ci/woodpecker/pr/ci Pipeline failed Details	2026-06-05 13:34:50 -05:00
Jason Woltje	3ff3f20b70	fix(pi): make skill loading token-lean by default	2026-06-05 13:29:44 -05:00