Repairing a hole in a working pipe