Where do we stand with respect to the github migration? What outstanding tasks are left before we can pull the trigger? Given that we have various RHQ and JON releases in flight, when is the best time to make the move? - John