zulipbot
zulipbot copied to clipboard
GitHub workflow-optimizing bot by @zulip
Hi everybody. I want to copy messages from the zulip channel to redmine, through a quote. The user writes a message, I quote this message and add a bot. Example...
I generally tried to make the language Zulipbot uses clear but more succinct than it currently is, with links to documentation where relevant. There are no logic changes, and all...
I believe this is a bug. When explaining how to claim an issue using Zulipbot in the Github comments (i.e. the claim command) Zulipbot recognizes this as an attempt to...
GitHub sends all subscribed users a notification for new comments. So spamming subscribers with bot comments is annoying. Fixes #180. **Warning**: I didn't test this, so it might not work....
See https://github.com/zulip/zulip/issues/13480#issuecomment-823023758 for an example.
Zulipbot shouldn't allow contributors who are not member of the Zulip organization to add labels to issues. For example, we don't want new contributors to set labels like 'good first...
Zulipbot posted on zulip/zulip#12309 a series of error messages reading: > ERROR: This active issue has no assignee. A few days before that, Zulipbot itself had unassigned the person who...
Every now and then some users open an issue at zulip/zulip which should be at zulip/zulip-desktop or zulip/zulip-mobile. It would be cool if you could do something like: @zulipbot move...
They are annoying. [CZO discussion](https://chat.zulip.org/#narrow/stream/2-general/topic/zulipbot)
If a user is assigned using the GitHub UI, they shouldn't be unassigned by zulipbot, but that's what happened for https://github.com/zulip/zulip/pull/15416 where I had assigned myself 5 days prior to...