I'd say proceed without the changes. As Everett pointed in previous
comments there will always be pull requests to merge and reasons to delay
the release.

This is a minor, and don't see those PRs as blocker, so I think we should
proceed with the release.
El 08/10/2014 18:32, "Adrian Cole" <adrian.f.c...@gmail.com> escribió:

> PS 2 of the 3 Inbar PRs need change. One trivially. There's a jewish
> holiday that prevents him from changing these today. Either we change
> on his behalf, delay or proceed.
>
> Anyone have a preference?
> -A
>
> On Wed, Oct 8, 2014 at 7:33 AM, Andrew Phillips <aphill...@qrmedia.com>
> wrote:
> >> If the release hasn't already started, I might see if these are easy
> >> merges. Has the release lever been pulled?
> >
> >
> > Nope, there's still time. I'll hold until those PRs are in unless we
> uncover
> > something major in them that needs more time.
> >
> > Thanks for raising this!
> >
> > ap
>

Reply via email to