If there are other ways we could improve the infrastructure and automation, please suggest them!
Cheers, Josh _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
Hi folks! This is just a reminder that if you add your github username
to the list at
https://github.com/servo/highfive/blob/master/handlers/watchers/watchers.ini
, the bot will tag you when PRs are opened containing changes to the
watched files/directories that you specify.
