minus-squarevacuumpizzas@t.bobamilktea.xyztoProgramming@programming.dev•GitHub: PR merge queue is now generally availablelinkfedilinkEnglisharrow-up9·1 year agoIIRC, Gitlab labels it “merge train” linkfedilink
IIRC, Gitlab labels it “merge train”