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