zulipbot

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

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

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

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

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

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

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

Welcome to Zulip, @prafulbbandre! We just sent you an invite to collaborate on this repository at https://github.com/zulip/zulip-desktop/invitations. Please accept this invite in order to claim this issue and begin a...

Welcome to Zulip, @mdaatifayman786! We just sent you an invite to collaborate on this repository at https://github.com/zulip/zulip-desktop/invitations. Please accept this invite in order to claim this issue and begin a...

Welcome to Zulip, @TheLazron! We just sent you an invite to collaborate on this repository at https://github.com/zulip/zulip-desktop/invitations. Please accept this invite in order to claim this issue and begin a...