is github working now?