No brainer vote for me. +1@Donal, overrides should only EVER be for "break glass emergency". Anybody who would abuse it for any other reason, should seriously be considered "enemy-of-the-state".
--Udo On 11/22/19 11:55 AM, Robert Houghton 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
