[dev-servo] rust-webvr and media repositories now use homu

2019-02-19 Thread Josh Bowman-Matthews
No matter how attractive that green merge button looks, please refrain from clicking it and use the homu commands for the servo/rust-webvr and servo/media repositories. Otherwise, nothing else has changed. Cheers, Josh ___ dev-servo mailing list dev-s

Re: [dev-servo] rust-webvr and media repositories now use homu

2019-02-21 Thread Fernando Jiménez Moreno
It does not seem to be working for servo/media. The queue is empty while there's an open PR [1]. And bors-servo does not seem to be working [2]. [1] https://build.servo.org/homu/queue/media [2] https://github.com/servo/media/pull/182#issuecomment-465936001 On Tue, Feb 19, 2019 at 6:23 PM Josh Bow

Re: [dev-servo] rust-webvr and media repositories now use homu

2019-02-21 Thread Manish Goregaokar
The webhooks weren't set up. Fixed. -Manish Goregaokar On Thu, Feb 21, 2019 at 2:07 AM Fernando Jiménez Moreno < ferjmor...@gmail.com> wrote: > It does not seem to be working for servo/media. The queue is empty while > there's an open PR [1]. And bors-servo does not seem to be working [2]. > > [

Re: [dev-servo] rust-webvr and media repositories now use homu

2019-02-21 Thread Josh Bowman-Matthews
Whoops. Thanks for addressing that! On 2/21/19 5:13 AM, Manish Goregaokar wrote: The webhooks weren't set up. Fixed. -Manish Goregaokar On Thu, Feb 21, 2019 at 2:07 AM Fernando Jiménez Moreno < ferjmor...@gmail.com> wrote: It does not seem to be working for servo/media. The queue is empty wh