Technician Needed for Cut Gas Line Pipe Repair

We are looking for a technician to repair a broken gas line in a backyard. We were digging a trench about 12inches deep and hit a gas line that was ran by the previous homeowner. The gas pipe that we hit with our shovel was only about 6 inches deep in the ground. We have attached photos of the tear in the line. We of course had the line turned off so it is not still leaking gas. If you have experience working with gas lines or pipes please contact us. If you have any questions or need any more information, please contact us. Thanks