On 10/01/2013 5:39 PM, John Clements wrote: > This change seems significant enough that I should ask, rather than just > making a change….
In general, we do changes to the code (both "asking" and "just making") via bugs, pull requests and code review. If you are pretty sure something ought to be done, you can make the change locally and open a pull request to have it integrated; if there's disagreement with the change we can discuss there. If you want to discuss first before spending time on producing a change (say, it's something involved) then file an bug and we can discuss there. We're trying to stick to the rule now that the only 'no review' changes are those that are either completely trivial or necessary to un-break a broken tree (see http://buildbot.rust-lang.org for current build status) -Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
