feat: reconcile Zulip emoji reactions on website PR messages - #890

Open

bryangingechen wants to merge 9 commits into

lean4from

zulip-emoji-reconcile

Commits on Jul 17, 2026

feat: reconcile Zulip emoji reactions on website PR messages

bryangingechen
and
claude
committed
debug: list bot subscriptions in test workflow

bryangingechen
and
claude
committed
debug: check bot visibility of reviewers channel history

bryangingechen
and
claude
committed
debug: inspect bot-visible reviewer-channel reactions after reconcile

bryangingechen
and
claude
committed
debug: fix quoting in reaction-inspection step

bryangingechen
and
claude
committed
restore bibtool.yml after workflow_dispatch testing

bryangingechen
and
claude
committed
feat: reconcile on PR and CI events, not just the hourly sweep

bryangingechen
and
claude
committed
feat: serialize reconcile runs with a concurrency group

bryangingechen
and
claude
committed
Apply suggestion from @bryangingechen
bryangingechen
authored