Yard damaged from gas line repairs? Here’s what to do.