docs: record the issue tracker, triage labels and domain doc layout - #5

Merged

marcinpsk merged 8 commits into

mainfrom

agent-skills-setup

Sep 12, 2026

Commits on Sep 12, 2026

docs: record the issue tracker, triage labels and domain doc layout
marcinpsk
committed
c8b3a74
fix: let a merge commit subject bump the version
marcinpsk
committed
3e0dd61
docs: correct the gh commands in the issue tracker skill
marcinpsk
committed
8db02c3
ci: move opengrep to a pre-commit hook and audit the workflows with zizmor
marcinpsk
committed
c35b8bd
test: check every documented gh --json field against the real CLI
marcinpsk
committed
2e33899
ci: audit the whole repo with zizmor, and give Dependabot a cooldown
marcinpsk
committed
6a503e5
fix: parse documented commands once, and page the external-PR query correctly
marcinpsk
committed
6819217
fix: fetch body in the frontier child query, and guard prose against command
marcinpsk
committed
09139b9