Add /push-pr-update skill for pushing PR revisions#111

Merged

igerber merged 9 commits intomainfrom

feature/push-pr-update-skill

Jan 25, 2026

Commits on Jan 25, 2026

Add /push-pr-update skill for committing and pushing PR revisions

igerber
and
claude
committed
Address PR #111 feedback: robust push, dynamic default branch, file count

igerber
and
claude
committed
Address PR #111 feedback round 2: unpushed commits, fork repos, secret leak

igerber
and
claude
committed
Address PR #111 feedback round 3: PR lookup order, upstream handling

igerber
and
claude
committed
Merge remote-tracking branch 'origin/main' into feature/push-pr-update-skill
igerber
committed
Fix POSIX ERE regex: replace \s with [[:space:]] for secret scanning

igerber
and
claude
committed
Address PR #111 round 5: case-insensitive secrets, fix no-commits guard

igerber
and
claude
committed
Address PR #111 round 6: default branch fallback, push-only secret scan, files count

igerber
and
claude
committed
Address PR #111 round 7: verify origin ref exists, fix submit-pr secret leak

igerber
and
claude
committed