For _all_ commits to mention the issue explicitly, not just usually

On Tue, Feb 18, 2014 at 1:06 PM, Corey Richardson <co...@octayn.net> wrote:

> 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

Reply via email to