维修坑槽时应按照园洞方补、斜洞正补的原则。