[VOTE] Fix bad-merge of GEODE-7488

[Robert Houghton]

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