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
