As for repairing the pool you will need to drain it. Timing is important. You do not want the empty liner in the direct sun for very long. Plan on taking the last of the water out in the eve or early morning hours. Have the repair made and be refilling when the sun is just starting to go over head.

This would also be an excellant time to relevel the pool.

Best of luck, Dennis