[Development] Finishing the transition to the cherry-pick model

[Oswald Buddenhagen]

On Fri, Apr 17, 2020 at 01:31:04PM +0000, Volker Hilsheimer wrote:
>To clarify, we don’t “disable merging”, we turn off the bot. People 
>with the privilege to push merge commits can in theory continue to do 
>so forever.
>
yes, but mixing merges and cherry-picks is, and remains, bad. why do you 
artificially create a situation where just that happens _by design_? i 
don't buy the effort argument - i'm sure the bots can be reconfigured 
within a few minutes.