Let's just say...

Let's just say you were out in the garden... trying to get rid of the Bermuda grass... with a pick... and you happened to find one of your irrigation lines... with the pick...

You'd want to shut the water off... then go online... and learn about irrigation lines... and go to the hardware store... and buy some supplies...

And then you would take a hacksaw...

And cut out the damaged piece of pipe...

And clean off the ends of the undamaged pipe... and put a connector over them... and turn the water back on... and hope it only comes out where it's supposed to.

You know, in case something like that ever happens to you.