[petsc-dev] suggest workflow:Ready-For-Merge label
balay at mcs.anl.gov
Mon Oct 28 09:17:32 CDT 2019
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.
More information about the petsc-dev