zulipbot

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

Hello @zulip/design, @zulip/server-search members, this pull request was labeled with the "area: search", "redesign" labels, 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/design members, this pull request was labeled with the "redesign" label, so you may want to check it out!

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

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

Heads up @iSatVeerSingh, 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 (admin/org)" label, so you may want to check it out!

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

Heads up @Ddharmani3, 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...