[petsc-dev] suggest workflow:Ready-For-Merge label
vaclav.hapla at erdw.ethz.ch
Mon Oct 28 05:34:14 CDT 2019
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.
More information about the petsc-dev