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
