This one can get a little tricky. Usually pipes from house to street are the responsibility of the homeowner so if the city was kind enough to fix a leak on your actual property then you saved yourself a ton of money by not having to fix it yourself which is usually the responsibility of the homeowner. Since there is no damage to the dwelling there would be no coverage from your homeowners policy unless you had service line coverage on your policy. Most insurance providers do not offer this coverage. If the city was being nice they may patch the hole they dug. If the problem is off your property line then the city will have to fix or patch what the city dug out.