Sharp will continue leading the Georgia Tech Library system through 2030.