zulipbot
zulipbot
Hello @zulip/server-compose members, this pull request was labeled with the "area: compose" label, so you may want to check it out!
Hello @zulip/server-markdown members, this pull request was labeled with the "area: markdown" label, so you may want to check it out!
Heads up @N-Shar-ma, 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, @zulip/server-streams members, this pull request was labeled with the "area: stream settings", "area: settings (admin/org)" labels, so you may want to check it out!
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-emoji, @zulip/server-settings members, this pull request was labeled with the "area: emoji", "area: settings (user)" labels, so you may want to check it out!
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!
Heads up @mjmanas54, 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 @SameepAher, 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-user-docs members, this pull request was labeled with the "area: documentation (user)" label, so you may want to check it out!