Will community pools be open this summer?

Public pools can't dive into their 2020 season-- at least not yet.