Was it a Gas leak?

Came home from work today and noticed that somebody had been digging up the road. They had obviously gone home by this time but my suspicion is that they were repairing / replacing a gas pipe based on the no smoking sign.