mirror of
https://github.com/zulip/zulip.git
synced 2025-11-22 07:21:23 +00:00
The original PR to allow generic bots to be mentioned had some merge issues that we detected about a week after the fact. This commit restores the logic from the original PR. The reason we didn't detect this bug earlier is that the merge issues didn't break any existing behavior. Instead, they made it so that only UserMessage rows got written for bots, but no events were being set. The part of the commit that got lost is restored here, so now events get sent as well. Thanks to @derAnfaenger for reporting this and being patient as we tracked it down. Fixes #7140
121 KiB
121 KiB