On 17/02/2014 23:50, Nick Cameron wrote:
At worst you could just use the issue number for the PR.
In order to get a PR number you need to have commits to submit, with already-composed messages.
But I think all non-trivial commits _should_ have an issue associated.
GitHub PRs *are* issues. Requiring *another* issue when someone has code to submit already is not useful IMO.
-- Simon Sapin _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev