Gas line repairs continue in Port St. Lucie