Auto-assign general area labels in GitHub

[alya]

Auto-assign general area labels in GitHub

[NickZumb]

Going to try add this functionality to zulipbot

[zulipbot]

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

[Xiayucheng1212]

@zulipbot claim

[zulipbot]

Hello @Xiayucheng1212, 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 please complete your work on your other claimed issues before trying to claim this issue again.

We look forward to your valuable contributions!

[Xiayucheng1212]

@zulipbot claim

[Xiayucheng1212]

@zulipbot abandon

[NickZumb]

@zulipbot claim

[zulipbot]

Welcome to Zulip, @NickZumb! 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 fun, rewarding experience contributing to Zulip!

Here's some tips to get you off to a good start:

• Join me on the Zulip developers' server, to get help, chat about this issue, and meet the other developers.
• Unwatch this repository, so that you don't get 100 emails a day.

As you work on this issue, you'll also want to refer to the Zulip code contribution guide, as well as the rest of the developer documentation on that site.

See you on the other side (that is, the pull request side)!