+1 adding my vote On Fri, Nov 22, 2019 at 11:56 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 >
