[petsc-dev] suggest workflow:Ready-For-Merge label

[Balay, Satish]

added

Satish

On Mon, 28 Oct 2019, Hapla Vaclav via petsc-dev wrote:

> What about having another label like workflow:Ready-For-Merge in GitLab so that one could stress that all conditions are met for the MR to be merged. It can sometimes take some time between meeting all conditions and the merge, and this would allow authors to mark it as done from their side for themselves as well as for integrators, who could then filter out such MRs easily.
> 
> Thanks,
> Vaclav