Repairing or joining pipes on or under water