feat(zulip_bot): close-pr command#155

Merged

bryangingechen merged 24 commits intomasterfrom

close-pr-command

Apr 17, 2026

Commits on Apr 12, 2026

doc: add design decision for zulip close-pr command (#041)

bryangingechen
and
claude
committed
feat(zulip_bot): add close-pr command with permission check and confirmation form

bryangingechen
and
claude
committed
fix(zulip_bot): fix two test_close_pr_form assertions

bryangingechen
and
claude
committed
fix(zulip_bot): normalise underscores to hyphens in command name parser

bryangingechen
and
claude
committed
chore(zulip_bot): remove redundant underscore aliases from pr-info and assigned-prs

bryangingechen
and
claude
committed
doc(041): update progress notes and add operational deployment notes

bryangingechen
and
claude
committed

Commits on Apr 15, 2026

Commits on Apr 17, 2026