+1 While I'm against overriding PR checks in general, this is clearly a special case.
On Fri, Nov 22, 2019 at 12:10 PM Nabarun Nag <n...@apache.org> wrote: > +1 > > On Fri, Nov 22, 2019 at 12:00 PM Anthony Baker <aba...@pivotal.io> wrote: > > > Clearly the right thing to do is fix it. VOTE not needed IMO. > > > > Anthony > > > > > > > On Nov 22, 2019, at 11:55 AM, Robert Houghton <rhough...@pivotal.io> > > wrote: > > > > > > I was overzealous in a merge to Geode, and got us into a > chicken-and-egg > > > issue for PRs and reverts. Calling a vote to override the GitHub merge > > > button restriction via commiter privileges, to merge the fix in > > > https://github.com/apache/geode/pull/4360 > > > > >
