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

Reply via email to