> Can anyone elaborate on what this will entail? By "commit message" do you > mean the honest-to-god git commit message, or the Github PR message, or > both? What form will the warning take, and how easy will it be to ignore it > in order to accomodate one-off contributors submitting typo fixes?
Servo uses a bot called highfive[1] which adds warnings to PRs. I think this is what everyone had in mind. A good example of this is here: https://github.com/mozilla/servo/pull/1709 It also detects if you changed any unsafe code. Aside from the value of warning the contributor, reviewers are immediately alerted that the review may need extra attention, etc. jack. [1] It's name comes from the fact that it welcomes new contributors, ie, giving them a high five for helping out. Josh Matthews created and maintains it, and a small army of other bots. _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
