Repair and renovation of gas pipelines