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

[Hapla Vaclav]

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