Goodbye drainage trench!
So...the drainage trench is finally finished. Today we extended it slightly into the garden beds and then covered the gravel infill with porous material that will let rainwater through but not soil which could clog up the drainage pipe. Finally we filled it up with topsoil.