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
