zulipbot

Welcome to Zulip, @HemantUmre12! 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 @brijsiyag, it seems like you have referenced #19710 in your pull request description, but you have not referenced them in your commit message description(s). Referencing an issue in a...

Heads up @sahil839, 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 @raghavluthra20, 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/design members, this pull request was labeled with the "redesign" label, so you may want to check it out!

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

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

Hello @Rixant, it looks like you've currently claimed 1 issue in this repository. We encourage new contributors to focus their efforts on at most 1 issue at a time, so...