GitHub seems to have a bug/misfeature where the commits in a sequential pull request are not presented in order, e.g.:
https://github.com/mozilla/rust/pull/5559 … where it appears that 2b07f0f is the tip of the pull request, but actually f2e47cd is. This means that an 'r+' placed on 2b07f0f won't actually spur @bors to action…. Anyhow, JFYI. John
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
