Gas pipeline repairs completed; load shedding may soon end