Gas pipeline repair