geode-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Udo Kohlmeyer <>
Subject Re: [VOTE] Fix bad-merge of GEODE-7488
Date Fri, 22 Nov 2019 20:43:39 GMT
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".


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

View raw message