Just remember permits are now required 7 days a week to climb Half Dome, maximum 400 per day.
Permits are not required until the cables are up. As they aren't up yet, no permits are required.
Stated more succinctly: Permits? We don't need no stinkin permits!