[dev-servo] Notifications for issues with particular labels applied to them

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/mas

Re: [dev-servo] Output profiling data as a timeline

On Tue, May 3, 2016 at 12:16 AM, Paul Rouget wrote: > This is awesome! > ​Great :)​ I'm under the impression that it stops profiling after the page has > loaded. Is that right? > ​It continues profiling from startup till shutdown.​ ___ dev-servo mail

Re: [dev-servo] Output profiling data as a timeline

This is awesome! I'm under the impression that it stops profiling after the page has loaded. Is that right? On Thu, Apr 28, 2016 at 9:28 PM, Nick Fitzgerald wrote: > As of https://github.com/servo/servo/pull/10694, you can dump the profiling > data from the `components/profile/time.rs` module as