Auto-assign general area labels in GitHub

[alya]

For areas where we have detailed sub-area labels (e.g., compose box issues), it would be helpful to automatically add a general label when one of the specific labels is added. E.g., adding "area: compose (uploads)" would automatically add an "area: compose" label.

The first step on this issue is to investigate how best to do this in GitHub and propose a plan on the linked CZO thread. (You may not have permissions required to implement the plan.)

Compose labels screenshot

CZO thread

[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)!

[NickZumb]

Going to try add this functionality to zulipbot