We were the guys that cut holes in the street with jackhammers and backhoes, and twisted the gate valve off when the leak wasn't necessarily inside the building... and leaking gas follows the pipes underground back to homes and such... especially where you have houses with basements, as here where I live. A woman and service man died in a new house explosion caused by a leak in a yard line apparently from yard construction this year here.
My truck had snorkles on the front bumper to sniff for leaks outside. On the high pressure lines, you could look for dust being blown 200 feet into the air. On the IHP and LP lines, the computer will catch them, then they call in the emergency crew to find it and fix it.
I figured that, I have been in the streets with jackhammers and backhoes, but for different reasons.
The gas companies have their areas of responsibility but for this police station it would all be on the plumbing contractor, not the gas company, as you know they meet at the meter.
By the way, I understand that gas under pressure will follow a closed path, but open it to the atmosphere and it goes up.