Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
47,221 Commits 28 Branches 143 Tags 625 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
Alex Vandiver 21e80e47bd message_edit: Filter UserMessage better, now that mentions are unneeded. 
The previous commit removed the need for `render_incoming_message` to
take a list of mentioned users; simplify the callsites accordingly.
 2022-05-04 14:45:18 -07:00
Alex Vandiver cd9c69cd12 message_send: Remove unnecessary user_ids argument. 
cfcbf58cd1 rightly removed the use of `user_ids` in
`render_markdown`, which in turn makes it unnecessary in
`render_incoming_message`.

Remove the unnecessary parameter from `render_incoming_message`.
 2022-05-04 14:45:18 -07:00
Anders Kaseorg a2825e5984 python: Use Python 3.8 typing.{Protocol,TypedDict}. 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
 2022-04-27 12:57:49 -07:00
Anders Kaseorg eda000899b actions: Split out zerver.actions.message_edit. 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
 2022-04-14 17:14:36 -07:00