zulipbot

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

Hello @zulip/server-production members, this issue was labeled with the "area: production" 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 @Aditya8840, 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...

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

Heads up @Aditya8840, 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 @axllbk! Thanks for your interest in Zulip! You have attempted to claim an issue without the label "help wanted". You can only claim and submit pull requests for issues...

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

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

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