zulipbot

Hello @zulip/design, @zulip/server-compose members, this pull request was labeled with the "area: compose", "UI experiment" labels, so you may want to check it out!

Hello @zulip/design members, this pull request was labeled with the "UI experiment" label, so you may want to check it out!

Heads up @palashb01, 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-settings members, this pull request was labeled with the "area: settings (user)" label, so you may want to check it out!

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

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

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

Heads up @SameepAher, 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 @tridentpancake, it seems like you have referenced #23935 in your pull request description, but you have not referenced them in your commit message description(s). Referencing an issue in a...

Heads up @aman-gupta-03, 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...