leanprover-community/Zulip PR Emoji Reactions
Add emoji reactions to Zulip messages based on GitHub PR events (CI status, merge/close, labels)
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| zulip-api-key | Zulip bot API key | yes | — |
| zulip-email | Zulip bot email address | yes | — |
| zulip-site | Zulip server URL (e.g. https://leanprover.zulipchat.com) | yes | — |
| action | Event action to process. Supported values: CI status: ci-running, ci-success, ci-failure, ci-cancelled PR lifecycle: merged, closed, reopened Labels: labeled, unlabeled (requires label-name) Bors/delegate: ready-to-merge, delegated | yes | — |
| pr-number | GitHub PR number | yes | — |
| label-name | Label name (for labeled/unlabeled actions) | — | none |
| labels-to-keep | JSON array of label names whose emoji reactions should not be removed | — | [] |
| private-channels | Comma-separated list of private Zulip channels to also search for PR references | — | "" |
| topic-match-channels | Comma-separated list of channels where topic-based PR# matching is used (first message in matching topic only) | — | "" |
| emoji-config | JSON object overriding default emoji mappings. Structure: {"ci-running": {"emoji": "yellow"}, "labels": {"my-label": {"emoji": "star"}}, ...} See README for full schema. | — | "" |
| skip-channels | Comma-separated list of channels to skip when processing messages (e.g. "rss") | — | "" |
Outputs
no outputs