+1 Go for it. -Dan
On Fri, Nov 22, 2019 at 12:07 PM Owen Nichols <onich...@pivotal.io> wrote: > It would set a bad precedent to circumvent without due process a decision > that was agreed by the Geode community < > https://lists.apache.org/thread.html/1ba19d9aeb206148c922afdd182ba322d6f128bbb83983f2f72a108e@%3Cdev.geode.apache.org%3E > >. > > > On 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 > > > >
