If the goal was to launch on a day when GitHub had issues, most days are good launch days.