Gas line installation and repair