On 13-06-24 08:15 PM, Graydon Hoare wrote:
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.
I mean, maybe github thinks it's a great idea to edit other people's
words. Maybe it was their intent. I was not aware of this "feature" and
it works counter to the intended security design of bors. Hence this thread.
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
