Good news everyone! Thanks to the work of Nazım Can Altınova
(canaltinova), highfive can now tag github users when a particular label
is applied to an issue (or PR) in the servo repository. To customize
this for your own purposes, make a PR that amends
https://github.com/servo/highfive/blob/master/handlers/label_watchers/watchers.ini
with your username and the space-separated label names that you wish to
follow.
Cheers,
Josh
ps. Shout out to all the folks recently who have been helping us make
the Servo development experience more delightful:
* Wafflespeanut - automatic WPT failure reporting
* Mark-Simulacrum - comments when new commits are pushed to a PR
* aneeshusa - reviewer assignment logic enhancements
Remember, if there are inefficiencies in your github workflow, file an
issue and we'll brainstorm ways to improve the situation :)
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
