[Development] [Gerrit-admin] Cherry-pick mode for 5.12

[Lars Knoll]

> On 3 Sep 2019, at 09:12, Allan Sandfeld Jensen <kde at carewolf.com> wrote:
> 
> On Tuesday, 3 September 2019 07:53:29 CEST Liang Qi wrote:
>> It happened so fast this time.
>> 
>> But 5.12.5 was branched out before this cherry-pick mode change on 5.12
>> branch, I plan to do the 5.12.5->5.12->5.13 merges after 5.12.5 is out. Is
>> it OK?
> 
> That sounds good. Otherwise we might need to cherry-pick up.

Yes, we’ll need to make sure everything that was committed before we entered cherry-pick mode is merged.

Cheers,
Lars