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
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
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].
>
> [
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
4 matches
Mail list logo