GitHub in crisis after 3,800 repositories stolen by hackers