On 13-06-24 07:05 PM, Daniel Micay wrote:
Also, not just the head commit because someone could reset and force push. :P
Bors only pays attention to comments on the head commit, and comments on commits adhere to that specific sha1 only. This is intentional.
The part where users can edit other people's comments is .. not. -Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
