Zulip Chat Archive

Stream: general

Topic: bors down?


Eric Rodriguez (May 13 2021 at 13:00):

#7594 is having no progress on bors. neither is #7597 (nolints); does anyone know what's up?

Bryan Gin-ge Chen (May 13 2021 at 13:26):

See https://github.com/bors-ng/bors-ng/issues/1246

Looks like it may be fixed soon.

Bryan Gin-ge Chen (May 13 2021 at 13:45):

It looks to be working again now.

Bryan Gin-ge Chen (May 13 2021 at 13:48):

I tried to put everything back on the queue; feel free to ping me if I missed one.


Last updated: Dec 20 2023 at 11:08 UTC