geode-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Kirk Lund <kl...@apache.org>
Subject Re: [VOTE] Fix bad-merge of GEODE-7488
Date Fri, 22 Nov 2019 20:32:28 GMT
+1 adding my vote

On Fri, Nov 22, 2019 at 11:56 AM Robert Houghton <rhoughton@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
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message