zulipbot

Heads up @evykassirer, we just merged some commits that conflict with the changes you made in this pull request! You can review this repository's [recent commits](https://github.com/zulip/zulip/commits/main) to see where the...

Hello @zulip/server-message-view members, this pull request was labeled with the "area: message-editing" label, so you may want to check it out!

Hello @zulip/server-user-docs members, this pull request was labeled with the "area: documentation (user)" label, so you may want to check it out!

Hello @zulip/server-misc members, this issue was labeled with the "area: real-time sync" label, so you may want to check it out!

Hello @zulip/server-settings members, this issue was labeled with the "area: settings (admin/org)" label, so you may want to check it out!

@ganpa3 You have been unassigned from this issue because you have not made any updates for over 14 days. Please feel free to reclaim the issue if you decide to...

@mounilKshah You have been unassigned from this issue because you have not made any updates for over 14 days. Please feel free to reclaim the issue if you decide to...

Heads up @Rohitth007, we just merged some commits that conflict with the changes your made in this pull request! You can review this repository's [recent commits](https://github.com/zulip/zulip-terminal/commits/main) to see where the...

Heads up @Rohitth007, we just merged some commits that conflict with the changes your made in this pull request! You can review this repository's [recent commits](https://github.com/zulip/zulip-terminal/commits/main) to see where the...

Hello @mounilKshah, it seems like you have referenced #988 in your pull request description, but you have not referenced them in your commit message description(s). Referencing an issue in a...