How to fix the broken pipes in your irrigation system (because you hit them with a spade)

I feel like the title says it all. We managed to put about 20 holes in our irrigation piping while digging up our lawn to lay turf. Luckily, they are easy enough to fix, and once my uncle explained it to me, I had a lot of opportunities to perfect my technique.