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
