A gas leak, that led to evacuations on the Presidio of Monterey this afternoon, has been repaired. 2 buildings on the 600 block of Rifle Range Road were evacuated after a construction crew hit a 4-inch gas line with a shovel around 1:45 p-m. The gas line was repaired by 3 p-m.