Hi, The bors queue length recently caused us to overflow the github API rate limit. I will reduce the poll frequency (and possibly look into getting us a proper API token), but it would also help if people could regularly clean out stale or bad requests and/or merge larger groups of their PRs together until we have cycle time under better control.
Thanks, -Graydon _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
