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]. > > [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 Bowman-Matthews < > j...@joshmatthews.net> > wrote: > > > 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-servo@lists.mozilla.org > > https://lists.mozilla.org/listinfo/dev-servo > > > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo