zulip / zulipbot

GitHub workflow-optimizing bot by @zulip

Other

84 stars 65 forks source link

notifications: Update label->GitHub team mapping. #219

Closed alya closed 2 years ago

alya commented 2 years ago

Update to address the "area: i18n" -> "area: internationalization" renaming.
Adds mappings from design-related labels to the "design" group (created by @timabbott ).

I don't know how to test this PR.

codecov[bot] commented 2 years ago

Codecov Report

Merging #219 (c723d11) into main (669cda7) will increase coverage by 0.05%. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #219      +/-   ##
==========================================
+ Coverage   64.98%   65.03%   +0.05%     
==========================================
  Files          24       24              
  Lines        1779     1782       +3     
==========================================
+ Hits         1156     1159       +3     
  Misses        623      623

timabbott commented 2 years ago

This looks correct; we can deploy and see if it indeed triggers the expected notifications.