zulipbot

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

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

Heads up @theViz343, 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-terminal/commits/main) to see where the...

Heads up @meelanp, 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/master) to see where the...

Hello @WladRamos, it seems like you have referenced #1335 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-refactoring members, this pull request was labeled with the "area: refactoring" 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/design members, this pull request was labeled with the "redesign" label, so you may want to check it out!

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

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