| Message view | « Date » · « Thread » |
|---|---|
| Top | « Date » · « Thread » |
| From | Anthony Baker <aba...@pivotal.io> |
| Subject | Re: [VOTE] Fix bad-merge of GEODE-7488 |
| Date | Fri, 22 Nov 2019 20:00:01 GMT |
Clearly the right thing to do is fix it. VOTE not needed IMO. Anthony > On Nov 22, 2019, at 11:55 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 |
|
| View raw message | |