On Wed, Apr 27, 2016 at 8:34 AM, Matt Brubeck <[email protected]> wrote:
> On Wed, Apr 27, 2016 at 7:25 AM, Manish Goregaokar <[email protected]> > 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 [email protected] https://lists.mozilla.org/listinfo/dev-servo
