tree 20ca2b30a5f294144c46e5e17c68bd142ef6627f
parent 40e01261ca8a5602b97dcefee2e2e3bebd16b614
author Vyacheslav Egorov <vegorov@google.com> 1576845135 +0000
committer Vyacheslav Egorov <vegorov@google.com> 1576845135 +0000

Various tweaks to GitHub Label notifier

* Move keyword subscriptions to a separate collection
* Minimize false positives by changing how regexp is compiled - so that we only match full words
* Surface information about subscribing to keywords in the UI

Change-Id: Ic18be2e594a7684970d2031743428154ff5bd021
Reviewed-on: https://dart-review.googlesource.com/c/dart_ci/+/128900
Reviewed-by: Alexander Thomas <athom@google.com>