zulipbot
zulipbot
Heads up @prakhar1144, 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 members, this issue was labeled with the "area: settings UI" label, so you may want to check it out!
Hello @lemmasamaha! 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/design members, this pull request was labeled with the "design" label, so you may want to check it out!
Hello @zulip/server-misc members, this issue was labeled with the "area: export/import" label, so you may want to check it out!
Hello @zulip/server-onboarding members, this pull request was labeled with the "area: onboarding" label, so you may want to check it out!
Hello @zulip/server-message-view members, this issue was labeled with the "area: message-editing" label, so you may want to check it out!
Welcome to Zulip, @sh00tToMiss! 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/design, @zulip/server-misc members, this pull request was labeled with the "area: misc", "redesign" labels, so you may want to check it out!
Hello @zulip/design, @zulip/server-onboarding members, this pull request was labeled with the "area: onboarding", "UI experiment" labels, so you may want to check it out!