Restoring gas pipeline after flood