What about having bors place the hash of each commit merged into the
auto-merge message? Then finding the PR, and any closed issues, consists of
backwards-searching in git-log. (Having bors modify commit messages would
probably cause major problems with hashes changing.)
On Tue, 18 Feb 2014, Nick Cameron wrote:
Adding a few chars to a commit is not onerous and it is useful. You may not
want it now, but perhaps you would if you had it to use. _I_ certainly want
it, and I think others would find it useful if it was there to use.
On Tue, Feb 18, 2014 at 1:37 PM, Steve Klabnik <st...@steveklabnik.com>wrote:
Yeah, I'm not into modifying every single commit, I basically only
want what bors already (apparently....) already does.
--
Scott Lawrence
_______________________________________________
Rust-dev mailing list
Rust-dev@mozilla.org
https://mail.mozilla.org/listinfo/rust-dev
