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 <[email protected]> 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 <[email protected]> > wrote: >> >> Why not make bors simply add the issue number in when it makes the >> actual merge commit? >> _______________________________________________ >> Rust-dev mailing list >> [email protected] >> https://mail.mozilla.org/listinfo/rust-dev > > > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev > _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
