I recently had a gas line installed, and now there is water leaking into my basement about six feet below grade. It is not surprising that the 130-year-old fieldstone foundation is porous, but until now the water has been led away from the house, so the basement has been dry. Here is a picture, showing the path of the gas line in yellow:
My theory is that the water is being led from the grassy area along the path of the gas line, where the dirt is less compact and therefore more permeable than before.
What can I do about it? Would running a drainage pipe to the end of the house help? If so, should start where the gas line ends, or does it need to be under the gas line the entire way?