Bors already mentions the pull request that he merged, and any commits that close or work on issues usually mention that explicitly in their commit message. What more do you want?
On Mon, Feb 17, 2014 at 6:40 PM, Nick Cameron <n...@ncameron.org> wrote: > This is a nice solution, I like it. > > People who know about bors - is it possible to make it work? > > > On Tue, Feb 18, 2014 at 11:39 AM, Steve Klabnik <st...@steveklabnik.com> > wrote: >> >> Why not make bors simply add the issue number in when it makes the >> actual merge commit? >> _______________________________________________ >> Rust-dev mailing list >> Rust-dev@mozilla.org >> https://mail.mozilla.org/listinfo/rust-dev > > > > _______________________________________________ > Rust-dev mailing list > Rust-dev@mozilla.org > https://mail.mozilla.org/listinfo/rust-dev > _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev