Yeah, it does, that's what homu does currently. -Manish Goregaokar
On Wed, Apr 27, 2016 at 9:08 PM, Nick Fitzgerald <nfitzger...@mozilla.com> wrote: > On Wed, Apr 27, 2016 at 8:34 AM, Matt Brubeck <mbrub...@mozilla.com> > wrote: > > > On Wed, Apr 27, 2016 at 7:25 AM, Manish Goregaokar < > manishsm...@gmail.com> > > wrote: > > > > > Another reason I prefer merge commits is that it becomes very easy to > > hunt > > > down which PR caused a bug (after using blame or pickaxe). > > > > > > We could potentially also make homu add this info (PR# and head commit) > to > > the commit message or headers when it pushes a PR to auto. If it's > > rebasing, then it's going to be rewriting commits anyways, so this > > shouldn't cause any additional problems. > > > > Does github automatically close pull requests when the commit message has > "Fixes #12345"? I know that works for issues, but I don't know if it works > for pull requests as well. > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
