Fix branch deletion failure when prior PR is merged - #13

Draft

bosconi wants to merge 3 commits into

mainfrom

jc/agent-skills

Commits on Apr 28, 2026

Auto-detect target Materialize version from releases/_index.md

bosconi
and
claude
committed
a646121
Pin agent-skills checkout to the default branch

bosconi
and
claude
committed
8616cfb

Commits on May 4, 2026

Fix branch deletion failure after PR merge

bosconi
and
claude
committed
9d5bef8