Barrett Ruth 60aed7d595 ci: use PUSH_TOKEN for docgen push to bypass branch rules ... Problem: the docgen workflow pushes to main using GITHUB_TOKEN, which authenticates as github-actions[bot]. The bot cannot bypass repository rulesets on personal repos, so the push is rejected by required PR, status check, and signature rules. Solution: prefer a PUSH_TOKEN secret (a PAT authenticated as the repo admin, who has bypass permissions) with fallback to GITHUB_TOKEN so the workflow does not break before the secret is created.		2026-02-20 20:35:07 -05:00
..
ISSUE_TEMPLATE	chore: add severity to feature request template	2023-12-05 17:06:12 -08:00
workflows	ci: use PUSH_TOKEN for docgen push to bypass branch rules	2026-02-20 20:35:07 -05:00
pre-commit	ci: merge workflow jobs and add makefile	2023-09-02 08:48:11 -07:00
pre-push	ci: rename default branch from master to main	2026-02-20 16:32:53 -05:00