On Tue, May 7, 2013 at 4:09 PM, Sanghyeon Seo <sh4....@samsung.com> wrote: > Here are some feature requests to bors queue status page at > http://buildbot.rust-lang.org/bors/bors.html > > 1. It seems to show no more than 30 pull requests. It used to be enough, > but these days we often have more than 30 pull requests in the queue. > > 2. The page has last-updated timestamp. It would be useful to get > timestamp from the browser and warn when the queue is not updating. > (Say, when the gap is more than 10 minutes.) > > 3. OUTDATED state, for pull requests that need to be rebased. GitHub > API provides "mergeable" attribute for this.
Thanks! I filed these enhancements in the bors issue tracker (which is private right now for security reasons). Cheers, Tim -- Tim Chevalier * http://catamorphism.org/ * Often in error, never in doubt "Too much to carry, too much to let go Time goes fast, learning goes slow." -- Bruce Cockburn _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
