Once we have finished testing the staged installation of FlightDeck 1.0a3, and we have completed all pre-release tasks, we should push the new version of the application to the production server. The tentative date for this to happen is Tuesday, August 3. If the date changes, I'll comment in this bug. And once we're ready for the push to happen, I'll comment in this bug to that effect. So this is a placeholder for the future push, to give y'all advance warning, and not something to be completed right away.
Pushed yesterday afternoon.