A ruptured high-pressure gas main that led to mandatory evacuations on the south end of San Jacinto was repaired Friday. SoCal Gas Co. technicians completed sealing the split line at the intersection ...